Theories of proof-theoretic strength ψ(ΓΩ+1)
| Contribuinte(s) |
Probst, Dieter Schuster, Peter |
|---|---|
| Data(s) |
01/01/2016
31/12/1969
|
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/71364/1/BuJaStr_fin.pdf Buchholtz, Ulrik Torben; Jäger, Gerhard; Strahm, Thomas Adrian (2016). Theories of proof-theoretic strength ψ(ΓΩ+1) (In Press). In: Probst, Dieter; Schuster, Peter (eds.) Concepts of Proof in Mathematics, Philosophy, and ComputerScience. Ontos Mathematical Logic: Vol. 6. De Gruyter doi:10.7892/boris.71364 urn:isbn:978-1-5015-1080-9 |
| Idioma(s) |
eng |
| Publicador |
De Gruyter |
| Relação |
http://boris.unibe.ch/71364/ |
| Direitos |
info:eu-repo/semantics/embargoedAccess |
| Fonte |
Buchholtz, Ulrik Torben; Jäger, Gerhard; Strahm, Thomas Adrian (2016). Theories of proof-theoretic strength ψ(ΓΩ+1) (In Press). In: Probst, Dieter; Schuster, Peter (eds.) Concepts of Proof in Mathematics, Philosophy, and ComputerScience. Ontos Mathematical Logic: Vol. 6. De Gruyter |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/bookPart info:eu-repo/semantics/acceptedVersion PeerReviewed |
