Friedman's research on subsystems of second order arithmetic
In: Studies in Logic and the Foundations of Mathematics ; 117; Studies in Logic and the Foundations of Mathematics ; 117
Aufsatz, Gedruckte Ressource
Zugriff:
- Universität Münster, Bibliothek des Fachbereichs Mathematik und Informatik (DE-6-022), Bibliothekskatalog
Titel: |
Friedman's research on subsystems of second order arithmetic
|
---|---|
Verantwortlichkeitsangabe: | S. G. Simpson |
Autor/in / Beteiligte Person: | Simpson, S. G. [Autor/in] |
Quelle: | Studies in Logic and the Foundations of Mathematics ; 117; Studies in Logic and the Foundations of Mathematics ; 117 |
Medientyp: | Aufsatz |
Datenträgertyp: | Gedruckte Ressource |
Sonstiges: |
|