Your search returned 67 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.
Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Series: International Mathematical Series ; 5
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 M38 2007.

Place hold Add to cart
6.
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
7.
8.
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
9.
Propositional and Predicate Calculus A Model of Argument [electronic resource] / by Derek Goldrei. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.3 G65 2005.

Place hold Add to cart
10.
11.
12.
13.
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
14.
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
15.
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
16.
New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.59 N49 2008.

Place hold Add to cart
17.
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
18.
Techniques of Constructive Analysis [electronic resource] / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Series: Universitext
Material type: Computer file Computer file; Format: electronic available online remote
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: QA300 B69 2006.

Place hold Add to cart
19.
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
20.
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
Pages

Powered by Koha