Mathematical Logic

ISBN: 9780199215621 出版年：2007 页码：259 Chiswell, Ian Hodges, Wilfrid Oxford University Press

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.