| 000 | 00658cam a22002051 4500 | ||
|---|---|---|---|
| 005 | 20170221120837.0 | ||
| 008 | 740610s1967 ne 000 0 eng | ||
| 040 | _cIITK | ||
| 041 | 1 | _aeng | |
| 082 | 0 | 0 | _a164 |
| 100 | 1 | _aKreisel, G. | |
| 245 | 1 | 0 |
_aElements of mathematical logic (model theory) _cG. Kreisel and J. L. Krivine |
| 260 |
_aAmsterdam _bNorth-Holland Publishing _c1967 |
||
| 300 | _axi, 222p | ||
| 440 | 0 | _aStudies in logic and the foundations of mathematics | |
| 500 | _aTranslation of Eléments de logique mathématique, theorie des modéles | ||
| 650 | 0 | _aLogic, Symbolic and mathematical | |
| 700 | 1 | _aKrivine, J. L. | |
| 942 | _cBK | ||
| 999 |
_c240653 _d240653 |
||