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.
- Limba : Engleza
- Data Publicarii : 17 May 2007
- Format : Paperback
- Numar pagini : 260
- ISBN : 9780199215621