Dateien: | ||
URI: |
http://hdl.handle.net/10900/129454
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294544 http://dx.doi.org/10.15496/publikation-70817 |
Dokumentart: | Aufsatz |
Date: | 2009 |
Source: | The Logica Yearbook 2008, ed. by Michal Peliš. London: College Publiations 2009, pp. 237-251 |
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: |
![]() Natürliches Schließen ![]() Proof-theoretic Semantics Logic Natural Deduction |
ISBN: | 978-1-904987-46-8 |
License: | Publishing license including print on demand |
Order a printed copy: |
![]() |
Show full item record |