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.
Subject Term:
Electronic Access:
Publisher descriptionTable of contents only http://www.loc.gov/catdir/enhancements/fy0811/2008009433-d.html
http://www.loc.gov/catdir/enhancements/fy0826/2008009433-t.html
ISBN:
9780470280744
Format :
Book