Mathematical Logic and Computability
Published on 1. October 1994
Book
Hardback
352 pages
978-0-07-033939-2 (ISBN)
Description
Intended for a one-semester advanced undergraduate course in mathematical logic, this book requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring numerous examples, is also available (ISBN: 0-07-840027-9).
More details
Series
Language
English
Place of publication
New York
United States
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Illustrations
bibliography, index
ISBN-13
978-0-07-033939-2 (9780070339392)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Propositional logic; pure predicate logic; full predicate logic; computable functions; the incompleteness theorems.