product iamge

Elements of Mathematical Logic (Model Theory)

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): G. Kreisel and J.L. Krivine (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 48
Publisher: Elsevier Science
Year: 1967

Language: English
Pages: iii-vii, 1-222

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