1239:-
Uppskattad leveranstid 10-15 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 3349:-
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
- Illustratör: halftones and figures
- Format: Pocket
- ISBN: 9780199215621
- Språk: Engelska
- Antal sidor: 260
- Utgivningsdatum: 2007-05-17
- Förlag: OUP Oxford