Éléments de logique mathématique : théorie des modèles / G.K. Kreisel, J.C. Krivine
Kreisel, Georg
Éléments de logique mathématique : théorie des modèles / G.K. Kreisel, J.C. Krivine - Paris : Dunod, 1967 - viii,212p - Société Mathématique de France 3 .
Lógica simbólica y matemática
Matemáticas
Éléments de logique mathématique : théorie des modèles / G.K. Kreisel, J.C. Krivine - Paris : Dunod, 1967 - viii,212p - Société Mathématique de France 3 .
Lógica simbólica y matemática
Matemáticas