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"
- SKU 9780199215621
- Weight 0.440000
- ISBN 9780199215621
- Вид корица Paperback / softback
- Издателство Oxford University Press
- Брой страници 260
The information below is required for social login