Author: | Schroeder-Heister, Peter | |
Tübinger Autor(en): |
|
|
Published in: |
Why is this a Proof? Festschrift for Luiz Carlos Pereira
(2015), Bd.
,
S.
159-176 |
|
Verlagsangabe: | London: College Publications | |
Language: | English | |
ISBN: | 978-1-84890-172-8 | |
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy |
|
Dokumentart: | Article | |
Show full item record |