Publication
Detail
Publication date: 01/01/2002Mathematical proof theory in the light of ordinal analysis
| Journal | Synthese |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 133(1-2) |
| Journal | Synthese |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 133(1-2) |