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 - September 9, 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

Price
Íkr 18,589
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 18 - Sep 1
Get notified about new Hedman, Shawn (Department of Mathematics, Florida Southern College) releases
Add to your iMusic wish list

Not rated yet

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 September 9, 2004
ISBN13 9780198529811
Publishers Oxford University Press
Pages 452
Dimensions 172 × 244 × 22 mm   ·   748 g
Language English  

More from the same publisher