|
|
|
Item Details
Title:
|
A FIRST COURSE IN LOGIC
AN INTRODUCTION TO MODEL THEORY, PROOF THEORY, COMPUTABILITY, AND COMPLEXITY |
By: |
Shawn Hedman |
Format: |
Paperback |
List price:
|
£83.00 |
Our price: |
£72.63 |
Discount: |
|
You save:
|
£10.37 |
|
|
|
|
ISBN 10: |
0198529813 |
ISBN 13: |
9780198529811 |
Availability: |
Usually dispatched within 1-3 weeks.
Delivery
rates
|
Stock: |
Currently 0 available |
Publisher: |
OXFORD UNIVERSITY PRESS |
Pub. date: |
8 July, 2004 |
Series: |
OXFORD TEXTS IN LOGIC 1 |
Pages: |
452 |
Description: |
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. |
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. |
Publication: |
UK |
Imprint: |
Oxford University Press |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|