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.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Only published papers are available at libraries |
Jeremy Avigad (2003). Number Theory and Elementary Arithmetic. Philosophia Mathematica 11 (3):257-284.
Jeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.
Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
Sue Ann Toledo (1975). Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Springer-Verlag.
Vann Mcgee (2001). Truth by Default. Philosophia Mathematica 9 (1).
David Ellerman (2009). Counting Distinctions: On the Conceptual Foundations of Shannon's Information Theory. Synthese 168 (1):119 - 149.
Monthly downloads |
Added to index2010-12-22Total downloads5 ( #160,483 of 549,196 )Recent downloads (6 months)0How can I increase my downloads? |

