| 000 | 01066nam a2200169Ia 4500 | ||
|---|---|---|---|
| 005 | 20241211205631.0 | ||
| 008 | 241211s1963 xx 000 0 und d | ||
| 020 | _afcnm1403 | ||
| 082 | _a511.3I/K65 | ||
| 100 | _aKneebone, G. T. | ||
| 245 | 0 | _aMathematical Logic and the Foundations of Mathematics | |
| 250 | _a1ra | ||
| 260 |
_aNew York : _bD. Van Nostrand Company Limited London, _c1963 |
||
| 300 | _a435 páginas | ||
| 505 | _a1.Traditional Logic. 2.Symbolic Logic I- The propositional calculus. 3.Symbolic logic II- The restricted calculus of predicates. 4.Further development of symboli logic. 5.The critical moment in mathematics in the nineteenth century. 6.The logistic identification of mathematics with logic. 7.Formalized mathematics and metamathematics. 8.Gödel theorems on the inherent limitations of formal systems. 9.Intuitionism. 10.Recursive arithmetic. 11.The axiomatic theory of sets. 12.The epistemological status of mathematics. 13.The application of mathematics to the natural world. 14.Logic and the activity of thinking. | ||
| 942 | _yLIB | ||
| 999 |
_c50626 _d50626 |
||