Mathematical Logic
English | 296 Pages | ISBN: 0198571003 | PDF | 4.23 MB
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...