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