Georg Kreisel
Identifiers
- Open LibraryOL2040896A
Top Subjects
- Logic, Symbolic and mathematical (5)
- Logique symbolique et mathématique (1)
- Modèles mathématiques (1)
- Mathematical models (1)
- Model theory (1)
- Numerical analysis (1)
- Proposition (Logic) (1)
Books by Georg Kreisel
Total count: 8
-
Eléments de logique mathématiquethéorie des modèlesDunod1967-01-01
-
Elements of mathematical logic.(Model theory)North Holland Pub. Co.1967-01-01
-
Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics)North Holland Pub. Co1967-01-01
-
Éléments de logique mathématiquethéorie des modèlesDunod1967-01-01
-
Elements of mathematical logic (model theory)[2d rev. printing]1971-01-01
-
Elements of mathematical logic.(Model theory)North Holland1971-01-01
-
Modelltheorieeine Einführung in die mathematische Logik und GrundlagentheorieSpringer1972-01-01
-
Formally self-referential propositions for cut free classical analysis and related systemsPaństwowe Wydawn. Naukowe1974-01-01