Mathematical Logic and Computability
Published on 1. May 1996
Book
Hardback
352 pages
978-0-07-114426-1 (ISBN)
Description
Intended for a one-semester advanced undergraduate course in mathematical logic, this text requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring examples, is also available.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Illustrations
bibliography, index
Dimensions
Height: 230 mm
Weight
680 gr
ISBN-13
978-0-07-114426-1 (9780071144261)
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.