| 000 | 01415 a2200217 4500 | ||
|---|---|---|---|
| 001 | 3385 | ||
| 090 |
_93385 _a3385 |
||
| 100 | _a20140923 ukry50 | ||
| 200 |
_aAn introduction to symbolic logic _fLanger, Susanne K. |
||
| 205 | _a2d rev. ed | ||
| 210 |
_aNew York _cDover Publications _d1953 |
||
| 101 | _aeng | ||
| 215 |
_ap. 367 _ca-il, cover: paper _e21 cm |
||
| 327 | _aCHAPTER 1 THE STUDY OF FORMS -- 21 CHAPTER 2 THE ESSENTIALS OF LOGICAL STRUCTURE -- 45 CHAPTER 3 THE ESSENTIALS OF LOGICAL STRUCTURE (continued) -- 64 CHAPTER 4 GENERALIZATION -- 82 CHAPTER 5 CLASSES -- 112 CHAPTER 6 PRINCIPAL RELATIONS AMONG CLASSES -- 134 CHAPTER 7 THE UNIVERSE OF CLASSES -- 157 CHAPTER 8 THE DEDUCTIVE SYSTEM OF CLASSES -- 182 CHAPTER 9 THE ALGEBRA OF LOGIC -- 206 CHAPTER 10 ABSTRACTION AND INTERPRETION -- 240 CHAPTER 11 THE CALCULOS OF PROPOSITIONS -- 266 CHAPTER 12 THE ASSUMPTIONS OF PRINCIPIA MATHEMATICA -- 287 CHAPTER 13 LOGISTICS -- 312 APPENDIX A SYMBOLIC LOGIC AND THE LOGIC OF THE SYLLOGISM -- 340 APPENDIX B PROOFS OF THEOREMS IIA AND IIB APPENDIX A THE CONSTRUCTION AND USE OF TRUTH-TABLES -- 352 SUGGESTIONS FOR FURTHER STUDY -- 356 | ||
| 606 | _aLogic. | ||
| 606 | _aLogic, Symbolic and mathematical. | ||
| 686 |
_2ddc _a160 |
||
| 801 | _aUA | ||
| 700 |
_aLanger _bS.K. _f1895- _gSusanne Katherina |
||
| 852 | _2160 Lan 1953 | ||
| 942 |
_cBOOK _00 _2160 Lan 1953 |
||