Home - Scientists - Skolem Thoralf |
Page 5 81-85 of 85 Back | 1 | 2 | 3 | 4 | 5 |
81. LaTeX Bib Format Perthes et I. H. http://www.cs.berkeley.edu/~russell/aima-bib.bib |
82. SAPERE.it - Logica Translate this page avanzata, In tutto il Sito, http://www.sapere.it/gr/ArticleViewServlet?tid=1101563&rid=1101563&from=ArticleV |
83. 1Up Science > Links Directory > Math: Logic And Foundations: Logicians Categories. http://www.1upscience.com/links/logic-and-foundations-logicians.html | |
|
84. Axiomatic Set Theory theorem. This system was later refined by Adolf Fraenkel and ThoralfSkolem, giving the axioms used today. Axioms for set theory. http://www.fact-index.com/a/ax/axiomatic_set_theory_1.html | |
|
85. [HM] Mathematical Induction By Carlos Cesar De Araujo It is important to stress the adjective settheoretical above, because ThoralfSkolem (another giant) was the first who saw clearly the huge difference http://mathforum.org/epigone/historia/glilminsnun | |
|
Page 5 81-85 of 85 Back | 1 | 2 | 3 | 4 | 5 |