Cover image for Mathematical logic
Title:
Mathematical logic
Author:
Tourlakis, George J.
Personal Author:
Publication Information:
Hoboken, N.J. : Wiley, [2008]

©2008
Physical Description:
xvii, 293 pages : illustrations ; 25 cm
Language:
English
Contents:
PART I: BOOLEAN LOGIC -- The beginning -- Theorems and metatheorems -- The interplay between syntax and semantics -- PART II: PREDICATE LOGIC -- Extending Boolean logic -- Generalization and additional Leibniz rules -- Properties of equality -- First order semantics - very naïvely -- Appendix A: Gödel theorems and computability -- A.1 Revisiting Tarski Semantics -- A.2 Completeness -- A.3 A brief theory of computability -- A.4 Gödel's first incompleteness theorem.
ISBN:
9780470280744
Format :
Book