Refine your search

Availability
- Limit to records with available items
Author
- Afshari, Bahareh (1)
- Aschieri, Federico (1)
- Benini, Marco (1)
- Berardi, Stefano (1)
- Berger, Ulrich (2)
- Bickford, Mark (1)
- Bridges, Douglas S. (2)
- Buchholtz, Ulrik (1)
- Buchholz, Wilfried (1)
- Cantini, Andrea (1)
- Coquand, Thierry (1)
- Crosilla, Laura (1)
- Curi, Giovanni (1)
- Diener, Hannes (1)
- Diller, Justus (1)
- Došen, Kosta (1)
- Eberhard, Sebastian (1)
- Feferman, Solomon (1)
- Ferreira, Gilda (1)
- Forsberg, Fredrik Nordvall (1)
- Hetzl, Stefan (1)
- Ishihara, Hajime (2)
- Jäger, Gerhard (2)
- Kokkinis, Ioannis (1)
- Kuznets, Roman (1)
- Lapenta, Serafina (1)
- Leigh, Graham E. (1)
- Leuştean, Ioana (1)
- Lombardi, Henri (1)
- Maietti, Maria Emilia (1)
- Mints, Grigori (1)
- Miyamoto, Kenji (1)
- Moschovakis, Joan Rand (1)
- Murawski, Roman (1)
- Negri, Sara (1)
- Nemoto, Takako (1)
- Normann, Dag (1)
- Oliva, Paulo (1)
- Plato, Jan von (1)
- Pohlers, Wolfram (2)
- Probst, Dieter (1)
- Rathjen, Michael (2)
- Robert, Constable (1)
- Rosolini, Giuseppe (1)
- Schuster, Peter (2)
- Schwichtenberg, Helmut (1)
- Seisenberger, Monika (1)
- Setzer, Anton (1)
- Spoors, Elliott J. (1)
- Strahm, Thomas (2)
- Show more
- Show less
Language
- English (2)
Publication date
- 2016 (1)
- 2013 (1)
Subject
- Computational neuroscience (1)
- Logic (1)
- Logic, Symbolic and mathematical (1)
- Logik (1)
- Mathematics (1)
- Mathematik (1)
- Mathematische Logik (1)
- PHILOSOPHY / Epistemology (1)
- PHILOSOPHY / General (1)
- Philosophie der Mathematik (1)
- Proof theory (1)
- Theoretische Informatik (1)
- Show more
- Show less
Home library
- Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (2)
Holding library
- Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (2)
Item type
- eBook (2)
Location
- Nuvola online (2)

Your search returned 2 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	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)