P. Smith : On Subsystems of PA2
An user-friendly introduction to subsystems of PA2. Peter Smith : On Some Subsystems of Second-Order Arithmetic
skip to main |
skip to sidebar
:: logique & philosophie ::
A Reader (News)
Labels
- Intext (49)
- conferences (48)
- Philform (28)
- logic (26)
- conference (18)
- Blogs (16)
- People (14)
- In Memoriam (10)
- HTML (6)
- varia (5)
- LateX (4)
- Deflationism (2)
- administration (2)
- software (2)
- Philmath (1)
Blog Archive
-
▼
2007
(92)
-
▼
November
(10)
- The On-Line Encyclopedia of Integer Sequences
- Henry Kyburg
- P. Smith : On Subsystems of PA2
- An introduction to finite model theory
- Context-dependence, Perspective and Relativity in ...
- Michael Rathjen on Ordinal Analysis of Proofs
- Colin McGinn has a blog
- CSLI Publications online free
- Advances in Modal Logic : call for paper
- Paradoxes and contemporary logic
-
▼
November
(10)
|
|
|
|