Your search returned 3 results.

Results
		Image from Amazon.com	Concepts of Proof in Mathematics, Philosophy, and Computer Science / ed. by Dieter Probst, Peter Schuster. by Afshari, Bahareh [autore] Benini, Marco [autore] Berger, Ulrich [autore] Bridges, Douglas S. [autore] Buchholtz, Ulrik [autore] Coquand, Thierry [autore] Došen, Kosta [autore] Hetzl, Stefan [autore] Ishihara, Hajime [autore] Jäger, Gerhard [autore] Kokkinis, Ioannis [autore] Kuznets, Roman [autore] Lapenta, Serafina [autore] Leigh, Graham E. [autore] Leuştean, Ioana [autore] Lombardi, Henri [autore] Maietti, Maria Emilia [autore] Miyamoto, Kenji [autore] Murawski, Roman [autore] Negri, Sara [autore] Nemoto, Takako [autore] Plato, Jan von [autore] Pohlers, Wolfram [autore] Probst, Dieter [autore, curatore] Rathjen, Michael [autore] Rosolini, Giuseppe [autore] Schuster, Peter [autore, curatore] Schwichtenberg, Helmut [autore] Strahm, Thomas [autore] Studer, Thomas [autore] Tsuiki, Hideki [autore] Series: Ontos Mathematical Logic ; 6 Material type: Text; Format: available online ; Audience: Specialized; Publisher: Berlin ; Boston : De Gruyter, [2016]Copyright date: ©2016 Online resources: Online access Online access Cover Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter. Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Ways of Proof Theory / ed. by Ralf Schindler. by Avron, Arnon [autore] Beckmann, Arnold [autore] Beklemishev, Lev [autore] Berger, Ulrich [autore] Bezhanishvili, Guram [autore] Buchholz, Wilfried [autore] Buss, Samuel R. [autore] Cantini, Andrea [autore] Crosilla, Laura [autore] Diller, Justus [autore] Feferman, Solomon [autore] Huber, Simon [autore] Icard, Thomas [autore] Jäger, Gerhard [autore] Kahle, Reinhard [autore] Karádais, Basil A. [autore] Krähenbühl, Jürg [autore] Lubarsky, Robert S. [autore] Oitavem, Isabel [autore] Rathjen, Michael [autore] Schindler, Ralf [curatore] Schwichtenberg, Helmut [autore] Seisenberger, Monika [autore] Setzer, Anton [autore] Strahm, Thomas [autore] Wainer, Stanley S. [autore] Series: Ontos Mathematical Logic ; 2 Material type: Text; Format: available online ; Audience: Specialized; Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2010 Online resources: Online access Online access Cover Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter. Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Logic, Construction, Computation / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger. by Aschieri, Federico [autore] Berardi, Stefano [autore] Berger, Ulrich [autore, curatore] Bickford, Mark [autore] Bridges, Douglas S. [autore] Buchholz, Wilfried [autore] Cantini, Andrea [autore] Crosilla, Laura [autore] Curi, Giovanni [autore] Diener, Hannes [autore, curatore] Diller, Justus [autore] Eberhard, Sebastian [autore] Feferman, Solomon [autore] Ferreira, Gilda [autore] Forsberg, Fredrik Nordvall [autore] Ishihara, Hajime [autore] Jäger, Gerhard [autore] Mints, Grigori [autore] Moschovakis, Joan Rand [autore] Normann, Dag [autore] Oliva, Paulo [autore] Pohlers, Wolfram [autore] Rathjen, Michael [autore] Robert, Constable [autore] Schuster, Peter [autore, curatore] Seisenberger, Monika [autore, curatore] Setzer, Anton [autore] Spoors, Elliott J. [autore] Spreen, Dieter [autore] Stegert, Jan–Carl [autore] Strahm, Thomas [autore] Wainer, Stanley S. [autore] Weiermann, Andreas [autore] Zumbrunnen, Rico [autore] Series: Ontos Mathematical Logic ; 3 Material type: Text; Format: available online ; Audience: Specialized; Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2012 Online resources: Online access Online access Cover Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter. Request article Save to lists Add to cart (remove)