Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "112409156"
Treffer 7 von 37
|
|
| 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 37
Administration
