Herausgeber*innen: Probst, Dieter; Schuster, Peter

Buchtitel: Concepts of proof in mathematics, philosophy, and computer science

Verlag: De Gruyter

Erscheinungsort: Berlin

Titel der Reihe: Ontos Mathematical Logic (ISSN: 2198-2341)

Nr. in Reihe: 6

Status: Veröffentlicht

Veröffentlichungsjahr: 2016

Sprache, in der die Publikation verfasst ist: Englisch

ISBN: 978-2-5015-1080-9