| 000 | 02368cam a22003134a 4500 | ||
|---|---|---|---|
| 008 | 100206s2007 nyua 001 0 eng | ||
| 010 | _a2006103200 | ||
| 020 | _a9780199215621 | ||
| 020 | _a0199215626 | ||
| 020 | _a9780198571001 | ||
| 020 | _a0198571003 | ||
| 035 | _a(Sirsi) u3412 | ||
| 040 |
_aEG-CaNU _c EG-CaNU _d EG-CaNU |
||
| 042 | _ancode | ||
| 082 | 0 | 0 |
_a511.3 _2 22 |
| 100 | 1 |
_aChiswell, Ian, _d 1948- _96736 |
|
| 245 | 1 | 0 |
_aMathematical logic / _c Ian Chiswell and Wilfrid Hodges. |
| 260 |
_aLondon ; _a New York : _b Oxford University Press, _c 2007. |
||
| 300 |
_aviii, 250 p. : _b ill. ; _c 25 cm. |
||
| 490 | 0 |
_aOxford texts in logic ; _v 3 |
|
| 500 | _aIncludes index. | ||
| 505 | 0 | _a1 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. | |
| 520 | _a 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 | ||
| 520 | 3 | _aAssuming 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. | |
| 650 | 0 |
_aLogic, Symbolic and mathematical. _96737 |
|
| 700 | 1 |
_aHodges, Wilfrid. _96738 |
|
| 596 | _a1 | ||
| 999 |
_c2413 _d2413 |
||