Dalen, Dirk van <br/><br/>
Logic and Structure 
Dirk van Dalen 
 - Berlin  Springer  1994