A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Author:   Shawn Hedman (Department of Mathematics, Florida Southern College)
Publisher:   Oxford University Press
Volume:   1
ISBN:  

9780198529804


Pages:   452
Publication Date:   08 July 2004
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $490.95 Quantity:  
Add to Cart

Share |

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity


Add your own review!

Overview

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.

Full Product Details

Author:   Shawn Hedman (Department of Mathematics, Florida Southern College)
Publisher:   Oxford University Press
Imprint:   Oxford University Press
Volume:   1
Dimensions:   Width: 17.30cm , Height: 3.00cm , Length: 24.80cm
Weight:   0.894kg
ISBN:  

9780198529804


ISBN 10:   0198529805
Pages:   452
Publication Date:   08 July 2004
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

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

Reviews

'a broad introduction to Mathematical Logic for students at the masters level with some mathematical maturitu.' Times Higher Education Supplement.


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now