Union Catalogue of Belgian Libraries
Listing 1 - 2 of 2
|
|
Sort by
|
Digital
Ways of Proof Theory
Authors:
Avron, Arnon
---
Beckmann, Arnold
---
Beklemishev, Lev
---
Berger, Ulrich
---
Bezhanishvili, Guram
---
et al.
Buchholz, Wilfried
---
Buss, Samuel R.
---
Cantini, Andrea
---
Crosilla, Laura
---
Diller, Justus
---
Feferman, Solomon
---
Huber, Simon
---
Icard, Thomas
---
Jäger, Gerhard
---
Kahle, Reinhard
---
Karádais, Basil A.
---
Krähenbühl, Jürg
---
Lubarsky, Robert S.
---
Oitavem, Isabel
---
Rathjen, Michael
---
Schindler, Ralf
---
Schwichtenberg, Helmut
---
Seisenberger, Monika
---
Setzer, Anton
---
Strahm, Thomas
---
Wainer, Stanley S.
ISBN: 9783110324907 9783110324525
Year: 2013
Publisher: Berlin ;; Boston De Gruyter

Loading...
Export citation
Choose an application
Digital
Logic, Construction, Computation
Authors:
Aschieri, Federico
---
Berardi, Stefano
---
Berger, Ulrich
---
Bickford, Mark
---
Bridges, Douglas S.
---
et al.
Buchholz, Wilfried
---
Cantini, Andrea
---
Crosilla, Laura
---
Curi, Giovanni
---
Diener, Hannes
---
Diller, Justus
---
Eberhard, Sebastian
---
Feferman, Solomon
---
Ferreira, Gilda
---
Forsberg, Fredrik Nordvall
---
Ishihara, Hajime
---
Jäger, Gerhard
---
Mints, Grigori
---
Moschovakis, Joan Rand
---
Normann, Dag
---
Oliva, Paulo
---
Pohlers, Wolfram
---
Rathjen, Michael
---
Robert, Constable
---
Schuster, Peter
---
Seisenberger, Monika
---
Setzer, Anton
---
Spoors, Elliott J.
---
Spreen, Dieter
---
Stegert, Jan-Carl
---
Strahm, Thomas
---
Wainer, Stanley S.
---
Weiermann, Andreas
---
Zumbrunnen, Rico
ISBN: 9783110324921 9783110324532
Year: 2013
Publisher: Berlin ;; Boston De Gruyter

Loading...
Export citation
Choose an application
Listing 1 - 2 of 2
|
|
Sort by
|