Scan barcode
250 pages • missing pub info (editions)
ISBN/UID: 9780199215621
Format: Paperback
Language: English
Publisher: Oxford University Press, USA
Publication date: 01 June 2007
Description
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. At e...
Community Reviews
Content Warnings
250 pages • missing pub info (editions)
ISBN/UID: 9780199215621
Format: Paperback
Language: English
Publisher: Oxford University Press, USA
Publication date: 01 June 2007
Description
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. At e...
Community Reviews
Content Warnings