Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund von Baumaßnahmen ist die Deutsche Nationalbibliothek in Frankfurt am Main vom 28. Oktober bis 9. November 2024 geschlossen.
Due to construction work, the German National Library in Frankfurt am Main will be closed from 28 October to 9 November 2024.
 
 

Ergebnis der Suche nach: tit all "Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen."



Treffer 1 von 1 < < > <



Online Ressourcen
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




Treffer 1 von 1
< < > <


E-Mail-IconAdministration