Elements of Mathematical Logic: (Model Theory)
- ISBN-10
- 0720422655
- ISBN-13
- 9780720422658
- Pages
- 222
- Language
- English
- Published
- 1967
- Publisher
- North Holland Publishing Company
- Authors
- Jean Louis Krivine, Georg Kreisel
Description
This book presents the principles of the Axiomatic Method, here formulated in set theoretic, also called: semantic, terms. This book also contains the elementary, more or less classical, results of its subject. Each of its eight chapters is preceded by a summary which not only indicates the general content of the chapter, but also the relation of the exercises to the main theorems.
