A First Course in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Published on 8. July 2004
Book
Hardback
452 pages
978-0-19-852980-4 (ISBN)
Description
Reviews / Votes
'a broad introduction to Mathematical Logic for students at the masters level with some mathematical maturitu.' * Times Higher Education Supplement. *More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Target group
Professional and scholarly
Dimensions
Height: 248 mm
Width: 173 mm
Thickness: 30 mm
Weight
894 gr
ISBN-13
978-0-19-852980-4 (9780198529804)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Shawn Hedman
A First Course in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Book
07/2004
Oxford University Press
€130.30
Shipment within 15-20 days
Person
Content
Preliminaries ; 1. Propositional Logic ; 2. Structures and First-Order Logic ; 3. Proof Theory ; 4. Properties of First-Order Logic ; 5. First-Order Theories ; 6. Models of Countable Theories ; 7. Computability and Complexity ; 8. The Incompleteness Theorems ; 9. Beyond First-Order Logic ; 10. Finite Model Theory ; Bibliography ; Index