Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen."
Link zu diesem Datensatz | https://d-nb.info/1261166582 |
Titel | Resolution and the Origins of Structural Reasoning : Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version) / Peter Schroeder-Heister |
Person(en) | Schroeder-Heister, Peter (Verfasser) |
Verlag | Tübingen : Universitätsbibliothek Tübingen |
Zeitliche Einordnung | Erscheinungsdatum: 2022 |
Umfang/Format | Online-Ressource |
Persistent Identifier | URN: urn:nbn:de:bsz:21-dspace-1284650 |
URL |
https://publikationen.uni-tuebingen.de/xmlui/handle/10900/128465/ (Verlag) (kostenfrei zugänglich) http://hdl.handle.net/10900/128465 (Verlag) (kostenfrei zugänglich) http://dx.doi.org/10.15496/publikation-69828 (Verlag) (kostenfrei zugänglich) http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1284650 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Logik ; Beweistheorie ; Gentzen, Gerhard |
DDC-Notation | 511.3 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 510 Mathematik |
Online-Zugriff | Archivobjekt öffnen |