Union Catalogue of Belgian Libraries
Listing 1 - 1 of 1
|
|
Sort by
|
Digital
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Authors:
Afshari, Bahareh
---
Benini, Marco
---
Berger, Ulrich
---
Bridges, Douglas S.
---
Buchholtz, Ulrik
---
et al.
Coquand, Thierry
---
Došen, Kosta
---
Hetzl, Stefan
---
Ishihara, Hajime
---
Jäger, Gerhard
---
Kokkinis, Ioannis
---
Kuznets, Roman
---
Lapenta, Serafina
---
Leigh, Graham E.
---
Leuştean, Ioana
---
Lombardi, Henri
---
Maietti, Maria Emilia
---
Miyamoto, Kenji
---
Murawski, Roman
---
Negri, Sara
---
Nemoto, Takako
---
Plato, Jan von
---
Pohlers, Wolfram
---
Probst, Dieter
---
Rathjen, Michael
---
Rosolini, Giuseppe
---
Schuster, Peter
---
Schwichtenberg, Helmut
---
Strahm, Thomas
---
Studer, Thomas
---
Tsuiki, Hideki
ISBN: 9781501502620 9781501502644 9781501510809
Year: 2016
Publisher: Berlin ;; Boston De Gruyter
Loading...
Export citation
Choose an application
Listing 1 - 1 of 1
|
|
Sort by
|