Listing 1 - 1 of 1 |
Sort by
|
Choose an application
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.
Listing 1 - 1 of 1 |
Sort by
|