You have Guest access.
Log In
F. ACERBI
Book Chapter
Mathematical Logic, Induction, Proofs
2006, Computation Engineering, Pages 73-92
Intuitive Cognition and the Formation of the Theories
Renate Huber
The Western Ontario Series in Philosophy of Science, 1, Volume 70, Intuition and the Axiomatic Method, II, Pages 293-324
Aristotelian Induction
Jaakko Hintikka Selected Papers, 2006, Volume 6, Analyses of Aristotle, Pages 111-125
Didactical Principles
Mathematics Education Library, 2006, Volume 9, Revisiting Mathematics Education, Pages 45-123
Natural Numbers
Mathematics Education Library, 2006, Volume 1, Didactical Phenomenology of Mathematical Structures, Pages 73-132
Termination and Reduction Checking for Higher-Order Logic Programs
Brigitte Pientka
Lecture Notes in Computer Science, 2001, Volume 2083, Automated Reasoning, Pages 401-415
Induction
Undergraduate Texts in Mathematics, 2009, A Concrete Introduction to Higher Algebra, 1, Pages 9-25
Unique Factorization
Undergraduate Texts in Mathematics, 2009, A Concrete Introduction to Higher Algebra, 1, Pages 53-70
Some Coloured Remarks on the Foundations of Mathematics in the 20th Century
Gerhard Heinzmann
Logic, Epistemology, and the Unity of Science, 1, Volume 1, Logic, Epistemology, and the Unity of Science, II, Pages 41-50
Introduction
2005, Cryptography in C and C++, PART I, Pages 3-11
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info