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