999:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 4259:-
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.
- Format: Pocket
- ISBN: 9780198529811
- Språk: Engelska
- Antal sidor: 452
- Utgivningsdatum: 2004-07-08
- Förlag: OUP Oxford