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
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
 
 

Ergebnis der Suche nach: "112409156"

Zurück zur Trefferliste


Treffer 7 von 38 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1266072381
Titel Frege's Sequent Calculus / 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-1309643
URL https://publikationen.uni-tuebingen.de/xmlui/handle/10900/130964/ (Verlag) (kostenfrei zugänglich)
http://hdl.handle.net/10900/130964 (Verlag) (kostenfrei zugänglich)
http://dx.doi.org/10.15496/publikation-72324 (Verlag) (kostenfrei zugänglich)
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309643 (Verlag) (kostenfrei zugänglich)
ISBN/Einband/Preis 978-83-7969-161-6
Sprache(n) Englisch (eng)
Anmerkungen In: Trends in Logic XIII. Gentzen's and Jaśkowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi. Ed. by Andrzej Indrzejczak, Janusz Kaczmarek and Michał Zawidzki. Łódż University Press 2014, pp. 233-245
Schlagwörter Logik ; Beweistheorie ; Sequenzenkalkül
DDC-Notation 511.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 7 von 38
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration