Your search returned 67 results.

Sort
Results
21.
22.
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.

23.
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.

24.
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.

25.
Ideals, Varieties, and Algorithms [electronic resource] : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, Donal O’Shea. by Series: Undergraduate Texts in Mathematics
Edition: 3.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA564 C68 2007.

26.
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.

27.
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.

28.
29.
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels. by Series: Texts and Monographs in Symbolic Computation
Edition: Second edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Vienna : Springer-Verlag/Wien, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA201 S78 2008 .

30.
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. by Series: Studies in Universal Logic
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.7 D53 2008 .

31.
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. by Series: Springer Monographs in Mathematics
Edition: Second Revised and Enlarged Edition 1999.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 E23 2006.

32.
33.
18 Unconventional Essays on the Nature of Mathematics [electronic resource] / edited by Reuben Hersh. by
Material type: Computer file Computer file; Format: electronic available online remote
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: QA8.6 .A13 2006.

34.
The Strength of Nonstandard Analysis [electronic resource] / edited by Imme Berg, Vítor Neves. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Vienna : Springer-Verlag Wien, 2007
In: Springer eBooks
Online resources:
Availability: No items available.

35.
The Arché Papers on the Mathematics of Abstraction [electronic resource] / edited by Roy T. Cook. by Series: The Western Ontario Series in Philosophy of Science ; 71
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA8.4 C66 2007.

36.
Number Theory [electronic resource] : An Introduction via the Distribution of Primes / by Benjamin Fine, Gerhard Rosenberger. 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: QA246 F56 2007.

37.
Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero. by Series: Logic, Epistemology, and the Unity of Science ; 10
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: BD161 P75 2008 .

38.
39.
Ernst Zermelo [electronic resource] : An Approach to His Life and Work / by Heinz-Dieter Ebbinghaus. by
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: QA29.Z47 E23 2007.

40.
Function Algebras on Finite Sets [electronic resource] : A Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau. by Series: Springer Monographs in Mathematics
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.45 L38 2006.

Pages

Powered by Koha