TY - GEN digital ID - 147903929 TI - Concepts of Proof in Mathematics, Philosophy, and Computer Science AU - Afshari, Bahareh AU - Benini, Marco AU - Berger, Ulrich AU - Bridges, Douglas S. AU - Buchholtz, Ulrik AU - Coquand, Thierry AU - Došen, Kosta AU - Hetzl, Stefan AU - Ishihara, Hajime AU - Jäger, Gerhard AU - Kokkinis, Ioannis AU - Kuznets, Roman AU - Lapenta, Serafina AU - Leigh, Graham E. AU - Leuştean, Ioana AU - Lombardi, Henri AU - Maietti, Maria Emilia AU - Miyamoto, Kenji AU - Murawski, Roman AU - Negri, Sara AU - Nemoto, Takako AU - Plato, Jan von AU - Pohlers, Wolfram AU - Probst, Dieter AU - Rathjen, Michael AU - Rosolini, Giuseppe AU - Schuster, Peter AU - Schwichtenberg, Helmut AU - Strahm, Thomas AU - Studer, Thomas AU - Tsuiki, Hideki PY - 2016 SN - 9781501502620 9781501502644 9781501510809 PB - Berlin ;; Boston De Gruyter DB - UniCat KW - Philosophy UR - https://www.unicat.be/uniCat?func=search&query=sysid:147903929 AB - ER -