Author: | Piecha, T.; Schroeder-Heister, P. | |
Tübinger Autor(en): |
|
|
Issue year: | 2016 | |
Series: | Trends in logic;43 | |
Verlagsangabe: | Cham : Springer | |
Language: | English | |
Full text: | http://dx.doi.org/10.1007/978-3-319-22686-6 | |
ISBN: |
978-3-319-22685-9 978-3-319-22686-6 |
|
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy 510 - Mathematics |
|
Dokumentart: | BookPart | |
Published in: | Advances in proof-theoretic semantics | |
Page range: | 1-4 | |
Show full item record |