+612 9045 4394
A First Course In Logic An Introduction To Model Theory, : Proof Theory, Computability And Complexity - Shawn Hedman

A First Course In Logic An Introduction To Model Theory,

Proof Theory, Computability And Complexity

Hardcover Published: 1st August 2004
ISBN: 9780198529804
Number Of Pages: 452

Share This Book:


RRP $301.95
or 4 easy payments of $61.06 with Learn more
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

'a clear and unifying treatment of fundamental concepts underlying Computer Sciences and Foundations of Mathematics' Professor Boris Zilber (Professor of Mathematical Logic, University of Oxford) 'an excellent book' Professor Dov Gabbay (King's College, London)

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

ISBN: 9780198529804
ISBN-10: 0198529805
Audience: Tertiary; University or College
Format: Hardcover
Language: English
Number Of Pages: 452
Published: 1st August 2004
Publisher: Oxford University Press
Country of Publication: GB
Dimensions (cm): 24.13 x 22.23  x 3.18
Weight (kg): 0.89