Dateien: | ||
URI: |
http://hdl.handle.net/10900/129461
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294610 http://dx.doi.org/10.15496/publikation-70824 |
Dokumentart: | Article |
Date: | 2012 |
Source: | Insolubles and Consequences. Essays in Honour of Stephen Read. Ed. by Catarina Dutilh Novaes & Ole Thomassen Hjortland. London: College Publications 2012, pp. 203-211. |
Language: | English |
Faculty: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
Department: | Informatik |
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy |
Keywords: | Logik , Beweistheorie |
Other Keywords: |
Beweistheoretische Semantik Paradoxien Strukturregeln Proof Theory Proof-theoretic Semantics Logic Paradoxes Structural Rules |
ISBN: | 978-1-84890-086-8 |
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 |