Introduction to Mathematical Logic, Fifth Edition

Introduction to Mathematical Logic, Fifth Edition

4.11 - 1251 ratings - Source

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 GApdel, 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.Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic.


Title:Introduction to Mathematical Logic, Fifth Edition
Author:Elliott Mendelson
Publisher:CRC Press - 2009-08-11
ISBN-13:

Continue

You Must CONTINUE and create a free account to access unlimited downloads & streaming