TY  - DATA
AU  - Dieter Probst-Peter Schuster
TI  - Concepts of Proof in Mathematics, Philosophy, and Computer Science
T2  - Ontos Mathematical Logic
SN  - 9781501510809
PB  - De Gruyter
KW  -  Epistemology
KW  - Logic, Symbolic and mathematical.,Mathematics.,Proof theory
KW  - PHILOSOPHY
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=1336471
ER  -