Elements of mathematical logic model theory

Détails bibliographiques
Auteur principal: Kreisel, Georg
Autres auteurs: Krivine, Jean Louis joint auth
Format: Livre
Langue:English
Publié: Amsterdam North-Holland Pub. c1967.
Collection:Studies in logic and the foundations of mathematics
Sujets: