Research Catalog
Éléments de logique mathématique, théorie des modèles
- Title
- Éléments de logique mathématique, théorie des modèles, [par] G. Kreisel ... J.L. Krivine.
- Author
- Kreisel, Georg.
- Publication
- Paris, Dunod, 1967.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | 8126.542 | Off-site |
Details
- Additional Authors
- Krivine, J. L. (Jean Louis)
- Description
- viii, 214 pages; 25 cm
- Series Statement
- Monographies de la Société mathétique de France, 3
- Société mathétique de France, Paris. Monographies ; 3.
- Subject
- Logic, Symbolic and mathematical
- Mathematical models
- Models, Theoretical
- Logique symbolique et mathématique
- Modèles mathématiques
- mathematical models
- 31.10 logic, set theory
- Mathematische Logik
- Mathematical logic
- Logique symbolique mathématique
- Axiomatique
- Logic, Symbolic and mathematical
- Mathematical models
- LCCN
- 67091713
- OCLC
- ocm02716968
- 2716968
- SCSB-305944
- Owning Institutions
- Princeton University Library