"This strikes me as in many ways an excellent book...Zalabardo writes clearly and motivates the main ideas well... The number and variety of the excercises is a strength of the book. The instructor has room to choose excercises to suit the needs and abilities of the students"
Autorentext
Jose L. Zalabardo
Zusammenfassung
This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided. Topics covered include basic set theory, propositional and first-order syntax and semantics, a sequent calculus-style deductive system, the soundness and completeness theorems, cardinality, the expressive limitations of first-order logic, with especial attention to the Loewenheim-Skolem theorems and non-standard models of arithmetic, decidability, complete theories, categoricity and quantifier elimination.
Inhalt
Preface -- Chapter 1: The Elements -- Chapter 2: Propositional Logic -- Chapter 3: First-order Logic: Syntax and Semantics -- Chapter 4: Deduction -- Chapter 5: Soundness and Completeness -- Chapter 6: Cardinality -- Chapter 7: Expressive Limitations -- Chapter 8: Decidability -- Symbols and Notation -- Greek Letters -- Index.
Titel
Introduction To The Theory Of Logic
Autor
EAN
9780429968228
Format
E-Book (pdf)
Hersteller
Digitaler Kopierschutz
Adobe-DRM
Dateigrösse
23.68 MB
Anzahl Seiten
344
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.