Chiswell Ian, Hodges Wilfrid:
Mathematical Logic
Oxford University Press (United Kingdom), 2007
Paperback, 264 pages
Size: 240x168 mm
ISBN: 9780199215621
ISBN-10: 0199215626
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 book also includes notes on historical aspects of the material, and connections with linguistics and computer science.

