Concepts of Proof in Mathematics, Philosophy, and Computer Science (Ontos Mathematical Logic) edited by Peter Schuster, Dieter Probst English | July 25, 2016 | ISBN: 1501510800 | EPUB | 384 pages | 34.9 MB
Dieter Probst, Peter Schuster, "Concepts of Proof in Mathematics, Philosophy, and Computer Science" English | ISBN: 1501510800 | 2016 | 384 pages | PDF | 11 MB