Results
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
Formale Logik / Paul Lorenzen. by Series: Sammlung Göschen ; 1176/1176a
Edition: Reprint 2019
Material type: Text; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2019]Copyright date: ©1958
Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter.
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
Image from Amazon.com
|
|
|
|
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
Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter.
|
|
|
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
Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter.
|
|
|
Image from Amazon.com
|
Philosophy of Mathematics : Set Theory, Measuring Theories, and Nominalism / ed. by Gerhard Preyer, Georg Peter. by
- Arana, Andrew [autore]
- Azzouni, Jody [autore]
- Bueno, Otávio [autore]
- Colyvan, Mark [autore]
- De Rosa, Raffaella [autore]
- Essler, Wilhelm K. [autore]
- Muntersbjorn, Madeline [autore]
- Patterson, Douglas [autore]
- Peter, Georg [curatore]
- Preyer, Gerhard [curatore]
- Raley, Yvonne [autore]
- Vineberg, Susan [autore]
Series: Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ; 13
Material type: Text; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2008
Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter.
|
|
|
Image from Amazon.com
|
Principles of Truth : [conference "Truth, Necessity and Provability", which was held in Leuven, Belgium, from 18 to 20 November 1999] / ed. by Volker Halbach, Leon Horsten. by
- Burgess, John P. [autore]
- Cantini, Andrea [autore]
- Halbach, Volker [autore, curatore]
- Horsten, Leon [autore, curatore]
- Horwich, Paul [autore]
- Leitgeb, Hannes [autore]
- McGee, Vann [autore]
- Shapiro, Stewart [autore]
- Sheard, Michael [autore]
Series: Epistemische Studien / Epistemic Studies : Philosophy of Science, Cognition and Mind ; 1
Edition: 2nd ed.
Material type: Text; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2004
Availability: Items available for reference: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino: Not for loan (1)Call number: online - DeGruyter.
|
|
|
Image from Amazon.com
|
|