Can I read Elements of Mathematical Logic - (Model Theory) on EtoBox?

Elements of Mathematical Logic - (Model Theory) by G. Kreisel and J.L. Krivine (Eds.) is a nonfiction available to read on EtoBox.

What is Elements of Mathematical Logic - (Model Theory) about?

Content: Edited by Page iii Copyright page Page v Preface Pages v-vii G. Kreisel Chapter 0 Preliminaries Original Research Article Pages 1-3 Chapter 1 Propositional Calculus Original Research Article Pages 4-14 Chapter 2 Predicate Calculus Original Research Article Pages 15-33 Chapter 3 Predicate Calculus with Equality Original Research Article Pages 34-48 Chapter 4 The Elimination of Quantifiers Original Research Article Pages 49-79 Chapter 5 Predicate Calculus with Several Types of Objects: The Hierarchy of Finite Types Original Research Article Pages 80-114 Chapter 6 Definability Original Research Article Pages 115-135 Chapter 7 Principal Models: Models of Infinite Formulas Original Research Article Pages 136-153 Appendix I The Axiomatic Method Original Research Article Pages 154-159 Appendix II Foundations of Mathematics Original Research Article Pages 160-164 Part A Set Theoretic Semantic Foundations Original Research Article Pages 165-194 Part B Combinatorial Foundations Original Research Article Pages 195-221 Part C Semantic Versus Syntactic (Combinatorial) Introduction to Mathematical Logic Original Research Article Page 222

Who reads Elements of Mathematical Logic - (Model Theory)?

Author

G. Kreisel and J.L. Krivine (Eds.)

Publisher

Elsevier Science

Published

1967

Language

EN

ISBN

9780444534125

Category

nonfiction

Subjects

Mathematics, Computer Science, Philosophy

Updated

2026-03-25