TY  - BOOK
AU  - Chiswell,Ian
AU  - Hodges,Wilfrid
TI  - Mathematical logic / 
T2  - Oxford texts in logic ; 
SN  - 9780199215621
U1  - 511.3   22
PY  - 2007///
CY  - London ; ,  New York : 
PB  -  Oxford University Press, 
KW  - Logic, Symbolic and mathematical
N1  - Includes index; 1 Prelude --2 Informal natural deduction --3 Propositional logic --4 First interlude: Wason's selectiontask --5 Quantifier-free logic --6 Second interlude: the Linda problem --7 First-order logic --8 Postlude
N2  -  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 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. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s; 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 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. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s
ER  -