LEADER 00800nam a2200229 a 4500
001 1297515
005 20171111232732.0
008 991008s1971 gr er 001 0 eng d
020 |a 3540040994 
040 |a GrAtEKP.Mathimatiko  |b gre  |e AACR2 
082 0 |2 22  |a 511.3 
100 1 |a Smullyan, Raymond M. 
245 1 0 |a First-order logic/  |c Raymond M. Smullyan 
260 |a Berlin:  |b Springer Verlag,  |c 1971 
300 |a xii, 158 p. ;  |c 23 cm. 
490 0 |a Ergebnisse der Mathematik und Ihrer Grenzgebiete : a series of modern Syrveys in Mathematics ;  |v 43 
504 |a Includes index 
650 0 |a Logic, Symbolic and mathematical 
650 0 |a First-order logic 
650 0 |a Mathematical logic 
650 0 |a First-Order Logic 
952 |a GrAtEKP  |b 59cd0e566c5ad134460e845b  |c 998a  |d 945l  |e 511.3 SmuR f 1971  |t 2  |x m  |z Books