Your search returned 52 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Brouwer meets Husserl [electronic resource] : On the Phenomenology of Choice Sequences / by Mark Atten. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: B829.5 A88 2007.

Place hold Add to cart
2.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. by Series: Progress in Computer Science and Applied Logic (PCS) ; 8
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 S36 2008.

Place hold Add to cart
3.
Problems and Theorems in Classical Set Theory [electronic resource] / by Péter Komjáth, Vilmos Totik. by Series: Problem Books in Mathematics
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA248 K66 2006.

Place hold Add to cart
4.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by E. D. Solojentsev. by Series: Applied Optimization ; 93
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD31 S65 2005.

Place hold Add to cart
5.
Modalities and Multimodalities [electronic resource] : With the assistance and collaboration of Juliana Bueno-Soler / by Walter Carnielli, Claudio Pizzi. by Series: Logic, Epistemology, and the Unity of Science ; 12
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BC199.M6 C37 2008.

Place hold Add to cart
6.
Completeness Theory for Propositional Logics [electronic resource] / by Witold A. Pogorzelski, Piotr Wojtylak. by Series: Studies in Universal Logic
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.67 P64 2008.

Place hold Add to cart
7.
8.
9.
Discrete Thoughts [electronic resource] : Essays on Mathematics, Science and Philosophy / by Mark Kac, Gian-Carlo Rota, Jacob T. Schwartz ; edited by Peter Renz. by Series: Modern Birkhäuser Classics
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA7 K33 2008.

Place hold Add to cart
10.
Constructive Negations and Paraconsistency [electronic resource] / by Sergei P. Odintsov. by Series: Trends in Logic ; 26
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.56 O35 2008 .

Place hold Add to cart
11.
Field Arithmetic [electronic resource] / by Michael D. Fried, Moshe Jarden. by Series: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics ; 11
Edition: Third Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA247 F75 2006.

Place hold Add to cart
12.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 H88 2005.

Place hold Add to cart
13.
104 Number Theory Problems [electronic resource] : From the Training of the USA IMO Team / by Titu Andreescu, Dorin Andrica, Zuming Feng. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA241 A53 2007.

Place hold Add to cart
14.
The Congruences of a Finite Lattice [electronic resource] : A Proof-by-Picture Approach / by George Grätzer. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA171.5 G73 2006.

Place hold Add to cart
15.
16.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 B49 2007.

Place hold Add to cart
17.
Cambridge and Vienna [electronic resource] : Frank P. Ramsey and the Vienna Circle / edited by Maria Carla Galavotti. by Series: Vienna Circle Institute Yearbook [2004] ; 12
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: B1642.R254 G35 2006.

Place hold Add to cart
18.
Passione per Trilli [electronic resource] : Alcune idee dalla matematica / by Roberto Lucchetti. by Series: I blu
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, Milano, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA11.2 L83 2007.

Place hold Add to cart
19.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. by Series: Lecture Notes in Computer Science ; 4514
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 A78 2007.

Place hold Add to cart
20.
A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Series: Universitext
Edition: Second edition
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 R38 2006.

Place hold Add to cart
Pages

Powered by Koha