Dateien: | ||
URI: |
http://hdl.handle.net/10900/130949
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309499 http://dx.doi.org/10.15496/publikation-72309 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1309494 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1309496 |
Dokumentart: | Article |
Date: | 2014 |
Source: | Second Pisa Colloquium in Logic, Language and Epistemology. Ed. by Enrico Moriconi and Laura Tesconi. Pisa: Edizioni ETS 2014, pp. 245-287 |
Language: | English |
Faculty: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
Department: | Informatik |
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy |
Keywords: | Beweistheorie , Logische Partikel , Kalkül des natürlichen Schließens |
Other Keywords: |
![]() ![]() Logical Constant Natural Deduction Proof-theoretic Semantics |
ISBN: | 978-884674033-5 |
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: |
![]() |
Show full item record |