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.
Mathematical Logic
R1226,45
| Authors | |
|---|---|
| Language | |
| Copyright | |
| Publisher | |
| ISBN | 9780191524806 |
| Number Of Pages | 0 |
| File Size | 1.25 mb |
| Format | |
| Published | 18-05-2007 |
