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

Name: A First Course in Logic
Brand: Oxford University Press
SKU: 9780198529811
Price: 19100 KES
Availability: OutOfStock
ISBN: 9780198529811

by Shawn Hedman

Book Details

Format Paperback / softback

Book Series Oxford Texts in Logic

ISBN-10 0198529813

ISBN-13 9780198529811

Publisher Oxford University Press

Imprint Oxford University Press

Country of Manufacture GB

Country of Publication GB

Publication Date Jul 8th, 2004

Print length 452 Pages

Weight 736 grams

Dimensions 24.40 x 17.20 x 2.20 cms

Product Classification: Philosophy: logic Philosophy of mathematics Mathematical logic Mathematical theory of computation

KSh 19,100.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

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.

Get A First Course in Logic by Shawn Hedman at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has 452 pages.