|
|
|
|
| LEADER |
00717nam a2200181 a 4500 |
| 001 |
1300784 |
| 005 |
20171111233233.0 |
| 008 |
991008s1967 gr er 000 0 eng d |
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 511.3
|
| 100 |
1 |
|
|a Kreisel, Georg
|
| 245 |
1 |
0 |
|a Elements of mathematical logic :
|b model theory /
|c G. Kreisel, J. L. Krivine
|
| 260 |
|
|
|a Amsterdam :
|b North Holland,
|c 1967
|
| 300 |
|
|
|a xi, 221 p. ;
|c 23 cm.
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 700 |
1 |
|
|a Krivine, J. L.
|
| 952 |
|
|
|a GrAtEKP
|b 59cd0ee26c5ad134460e91eb
|c 998a
|d 945l
|e 511.3 KreG e 1967
|t 1
|x m
|z Books
|
