Chiswell Ian, Hodges Wilfrid:
Mathematical Logic
Oxford University Press (United Kingdom), 2007
Hardback, 258 pages
Size: 240x168 mm
ISBN: 9780198571001
ISBN-10: 0198571003
Mathematical Logic
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. This work also provides proofs of the adequacy and completeness proofs of the relevant logics, with attention to the languages involved.

