Author: | Schroeder-Heister, P. | |
Tübinger Autor(en): |
|
|
Issue year: | 2016 | |
Series: | Progress in computer science and applied logic;28 | |
Verlagsangabe: | Cham : Birkhäuser | |
Language: | English | |
Full text: | http://dx.doi.org/10.1007/978-3-319-29198-7_10 | |
ISBN: |
978-3-319-29196-3 978-3-319-29198-7 |
|
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy |
|
Dokumentart: | BookPart | |
Published in: | Advances in proof theory | |
Page range: | 339-351 | |
Show full item record |