Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
 

Ergebnis der Suche nach: "112409156"

Zurück zur Trefferliste


Treffer 15 von 37 < < > <



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 15 von 37
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration