Elements of mathematical logic (model th
β G Kreisel, J L Krivine
π Library
π
1967
π North-Holland Pub. Co.
π English
β¦ LIBER β¦
π
Elements of Mathematical Logic (Model Theory)
β Scribed by G. Kreisel and J.L. Krivine (Eds.)
- Publisher
- Elsevier Science
- Year
- 1967
- Tongue
- English
- Leaves
- 227
- Series
- Studies in Logic and the Foundations of Mathematics 48
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Table of Contents
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
π SIMILAR VOLUMES
Elements of Mathematical Logic: Model Th
β G Kreisel, J L Krivine
π Library
π
1967
π North-Holland Pub. Co.
π English
Course of Mathematical Logic. Volume 2:
β Roland FraΓ―ssΓ©
π Library
π
1974
π Springer
π English
<p>This book is addressed primarily to researchers specializing in mathematΒ ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to embark on research in logic, as well as to teachers at universities and high schools, mathematicians in general,
Course of mathematical logic. Vol.2: Mod
β FraΓ―ssΓ©, Roland
π Library
π
1974
π D.Reidel
π English
Elements of Mathematical Logic
β Jan Εukasiewicz
π Library
π
1963
π Pergamon Press
π English
Elements of Mathematical Logic
β P.S. NOVIKOV
π Library
π
1964
π Oliver & Boyd
π English
xi 296p maroon hardback with plum dustjacket, this copy from a Cambridge college library with light library markings, text clean and fresh, binding tight, appears hardly used, two pages of index slightly rough at edge, a nice copy