JavaScript is disabled for your browser. Some features of this site may not work without it.
| 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 TheoryLogic 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 |