A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Oxford Texts in Logic - Hedman, Shawn (Department of Mathematics, Florida Southern College) - Books - Oxford University Press - 9780198529811 - July 8, 2004
In case cover and title do not match, the title is correct

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

Hedman, Shawn (Department of Mathematics, Florida Southern College)

Price
$ 128.99

Ordered from remote warehouse

Expected delivery Jul 5 - 19
Add to your iMusic wish list

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

Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.


452 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 8, 2004
ISBN13 9780198529811
Publishers Oxford University Press
Pages 452
Dimensions 172 × 244 × 22 mm   ·   736 g
Language English