Catálogo Bibliográfico
Éléments de logique mathématique : théorie des modèles / [par] G. Kreisel... J. L. Krivine. — Paris : Dunod, 1967.
viii, 214 p. ; 25 cm. — (Monographies de la Société mathétique de France ; 3)
Ultimas Adquisiciones