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

StatusFormatAccessCall NumberItem Location
TextUse in library 8126.542Off-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