The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse
Les mer
Produktdetaljer
ISBN
9781482237788
Utgave
6. utgave
Utgiver
Vendor
Chapman & Hall
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter