Mathematical logic /
Chiswell, Ian, 1948-
Mathematical logic / Ian Chiswell and Wilfrid Hodges. - London ; New York : Oxford University Press, 2007. - viii, 250 p. : ill. ; 25 cm. - Oxford texts in logic ; 3 .
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.
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.
9780199215621 0199215626 9780198571001 0198571003
2006103200
Logic, Symbolic and mathematical.
511.3
Mathematical logic / Ian Chiswell and Wilfrid Hodges. - London ; New York : Oxford University Press, 2007. - viii, 250 p. : ill. ; 25 cm. - Oxford texts in logic ; 3 .
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.
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.
9780199215621 0199215626 9780198571001 0198571003
2006103200
Logic, Symbolic and mathematical.
511.3