Number Theory
Abstract
1.1 Some examples of rule induction on permutations . . . . . . . 6 1.2 Ways of making new permutations . . . . . . . . . . . . . . . 7 1.3 Further results . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.4 Removing elements . . . . . . . . . . . . . . . . . . . . . . . . 8..Author's Profile
My notes
Similar books and articles
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
A Formally Verified Proof of the Prime Number Theorem.Jeremy Avigad, Kevin Donnelly, David Gray & Paul Raff - 2007 - ACM Transactions on Computational Logic 9 (1).
The phase rule and the notion of substance.Paul Needham - 2012 - In Henk W. de Regt, Stephan Hartmann & Samir Okasha (eds.), EPSA Philosophy of Science: Amsterdam 2009. Springer. pp. 253-62.
Identity, Superselection Theory, and the Statistical Properties of Quantum Fields.David John Baker - 2013 - Philosophy of Science 80 (2):262-285.
Tableau Systems for First Order Number Theory and Certain Higher Order Theories.Sue Ann Toledo - 1975 - Springer Verlag.
Logically reliable inductive inference.Oliver Schulte - 2007 - In Michele Friend, Norma B. Goethe & Valentina Harizanov (eds.), Induction, algorithmic learning theory, and philosophy. Springer. pp. 157-178.
On the existence of a new family of diophantine equations for Ω.Toby Ord - 2003 - Fundamenta Informaticae 56:273-284.
Analytics
Added to PP
2010-12-22
Downloads
24 (#483,238)
6 months
1 (#450,425)
2010-12-22
Downloads
24 (#483,238)
6 months
1 (#450,425)
Historical graph of downloads