01182nam a2200181Ia 450000500170000000800410001702000130005808200150007110000200008624500580010625000080016426000620017230000180023450506210025294200080087399900170088195201020089820241211205631.0241211s1963    xx            000 0 und d  afcnm1403  a511.3I/K65  aKneebone, G. T. 0aMathematical Logic and the Foundations of Mathematics  a1ra  aNew York :bD. Van Nostrand Company Limited London,c1963  a435 páginas  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.  yLIB  c50626d50626  00104070aBE-FCNMbBE-FCNMcTPd2018-02-16eDonacionfBuenoo511.3I/K65pFCNM2379yLIBzExterno