Dateien: | ||
URI: |
http://hdl.handle.net/10900/130964
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309643 http://dx.doi.org/10.15496/publikation-72324 |
Dokumentart: | Article |
Date: | 2014 |
Source: | 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 |
Language: | English |
Faculty: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
Department: | Informatik |
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy |
Keywords: | Logik , Beweistheorie , Sequenzenkalkül |
Other Keywords: |
Gottlob Frege Proof Theory Logic Sequent Calculus Gottlob Frege |
ISBN: | 978-83-7969-161-6 |
License: | http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
Order a printed copy: | Print-on-Demand |
Show full item record |