Introduction to Mathematical Logic (BOK)

Elliott Mendelson

619,00 61900
Sendes vanligvis innen 7-15 dager
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth 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, Rosser, and Turing. New to the Fifth Edition A new section covering basic ideas and results about nonstandard models of number theory A second appendix that introduces modal propositional logic An expanded bibliography Additional exercises and selected answers This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.

Produktfakta

Språk Engelsk Engelsk Innbinding Innbundet
Utgitt 2009 Forfatter Elliott Mendelson
Forlag
ROUTLEDGE
ISBN 9781584888765
Antall sider 469 Dimensjoner 15,6cm x 23,5cm x 3cm
Vekt 839 gram Leverandør Bertram Trading Ltd
Emner og form Mathematical logic