000 | 01034cam a22003011 4500 | ||
---|---|---|---|
001 | 3117269 | ||
003 | BD-DhUL | ||
005 | 20140821112511.0 | ||
008 | 740610s1967 ne 000 0 eng | ||
010 | _a 67020006 | ||
015 | _aNe67-45 | ||
040 |
_aDLC _cDLC _dDLC _dBD-DhUL |
||
041 | 1 | _aengund | |
050 | 0 | 0 |
_aQA9 _b.K7713 |
082 | 0 | 0 |
_a510.1 _bKRE |
100 | 1 | _aKreisel, Georg. | |
240 | 1 | 0 |
_aEléments de logique mathématique, theorie des modéles. _lEnglish |
245 | 1 | 0 |
_aElements of mathematical logic. _b(Model theory) _c[By] G. Kreisel and J. L. Krivine. |
260 |
_aAmsterdam, _bNorth Holland Pub. Co., _c1967. |
||
300 |
_axi, 222 p. _c22 1/2 cm. |
||
365 |
_aEURO _b5.28 |
||
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. _q(Jean Louis), _ejoint author. |
|
906 |
_a7 _bcbc _corignew _du _eocip _f19 _gy-gencatlg |
||
942 |
_2ddc _cBK |
||
999 |
_c4698 _d4698 |