Top Related
CSE 311: Foundations of Computing Fall 2013 Lecture 11: Modular arithmetic and applications.
Using manipulatives in the foundations of arithmetic - … for... · An account of that research is published as Using manipulatives in the foundations of arithmetic: main report.
Gottlob Frege - The Foundations of Arithmetic
Lecture 1 CIS 500: SOFTWARE FOUNDATIONS · 2014. 8. 28. · Gottlob Frege ! 1848-1925 Images in this & following slides taken from Wikipedia. Formalization of Arithmetic • 1884:
Lecture 1 SOFTWARE FOUNDATIONS IN COQ › ... › zdancewic-sf-lec01.pdf• Gottlob Frege: a German mathematician who started in geometry but became interested in logic and foundations
The Foundations of Mathematics - Gwern.net · Foundations of Mathematics, in accordance with the general method of Frege, Whitehead, and Bussell. Following these authorities, I hold
Fregedownload.e-bookshelf.de/.../42/L-G-0003902542-0002353154.pdf · 2013-07-22 · Gottlob Frege, The Foundations of Arithmetic, trans. J. L. Austin, Oxford and Evanston, III., 1968
Frege Gottlob the Foundations of Arithmetic 1953 2Ed 7.0 2.5 LotB 1