Mathematical logic / Ian Chiswell and Wilfrid Hodges.

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. - ;Assuming no previous study in logic, this informal yet...

Full description

Bibliographic Details

Online Access:	Full Text (via ProQuest)
Main Author:	Chiswell, Ian, 1948-
Other Authors:	Hodges, Wilfrid
Format:	eBook
Language:	English
Published:	London ; New York : Oxford University Press, 2007.
Series:	Oxford texts in logic ; 3.
Subjects:	Logic, Symbolic and mathematical.