TY  - BOOK
TI  - Concepts of proof in mathematics, philosophy, and computer science
T2  - Ontos Mathematical Logic,
AV  - QA9.54 .C663 2016
U1  - 511.3/6 23
PY  - 2016///
CY  - Berlin, [Germany], Boston, [Massachusetts]
PB  - De Gruyter
KW  - Proof theory
KW  - Mathematics
KW  - Logic, Symbolic and mathematical
KW  - Electronic books
N1  - Includes bibliographical references at the end of each chapters
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=4644584
ER  -