| 000 | 00293nam a2200121Ia 4500 | ||
|---|---|---|---|
| 999 |
_c153437 _d153437 |
||
| 020 | _a9780486406879 | ||
| 040 | _cCUS | ||
| 082 |
_a160 _bSUP/I |
||
| 100 | _aSuppes, Patrick | ||
| 245 | 0 |
_aIntroduction to logic/ _cPatrick Suppes |
|
| 260 |
_aNew York: _bDover, _c1957. |
||
| 300 |
_axiv, 312 p. : _bill. ; _c22 cm. |
||
| 505 | _a1. The Sentential Connectives-- 2. Sentential Theory Of Inference -- 3. Symbolizing Everyday Language -- 4. General Theory Of Inference -- 5. Further Rules Of Inference -- 6. Postscript On Use And Mention -- 7. Transition From Formal To Informal Proofs -- 8. Theory Of Definition -- 9. Sets -- 10. Relations -- 11. Functions -- 12. Set-Theoretical Foundations Of The Axiomatic Method. | ||
| 650 | _aLogic | ||
| 942 | _cWB16 | ||