A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic) - Hardcover

Hedman, Shawn

  • 4.36 out of 5 stars
    22 ratings by Goodreads
 
9780198529804: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Hardcover
ISBN 10: 0198529805 ISBN 13: 9780198529804
Publisher: Oxford University Press, 2004

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

Shawn Hedman is in the Department of Mathematics, Florida Southern College.

"About this title" may belong to another edition of this title.

Publisher
Oxford University Press
Publication date
2004
Language
English
ISBN 10 
0198529805
ISBN 13 
9780198529804
Binding
Hardcover
Number of pages
452
Rating
  • 4.36 out of 5 stars
    22 ratings by Goodreads

Other Popular Editions of the Same Title

9780198529811: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Featured Edition

ISBN 10:  0198529813 ISBN 13:  9780198529811
Publisher: Oxford University Press, 2004
Softcover