Your search returned 52 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
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 .

Place hold Add to cart
22.
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 .

Place hold Add to cart
23.
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.

Place hold Add to cart
24.
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.

Place hold Add to cart
25.
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.

Place hold Add to cart
26.
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 .

Place hold Add to cart
27.
28.
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.

Place hold Add to cart
29.
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.

Place hold Add to cart
30.
A Geometry of Approximation [electronic resource] : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns / edited by Piero Pagliani, Mihir Chakraborty. by Series: Trends in Logic, Studia Logica Library ; 27
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: QA248 P34 2008.

Place hold Add to cart
31.
Guida alla teoria degli insiemi [electronic resource] / by Gabriele Lolli. by Series: Convergenze
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA248 L65 2008 .

Place hold Add to cart
32.
Combinatorics and Graph Theory [electronic resource] / by John Harris, Jeffry L. Hirst, Michael Mossinghoff. by Series: Undergraduate Texts in Mathematics
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA165 H37 2008.

Place hold Add to cart
33.
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. by Series: Springer Monographs in Mathematics
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: QA9.54 K64 2008.

Place hold Add to cart
34.
Kolmogorov’s Heritage in Mathematics [electronic resource] / edited by Éric Charpentier, Annick Lesne, Nikolaï K. Nikolski. 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: QA300 C43 2007.

Place hold Add to cart
35.
Laws of Nature [electronic resource] / by Peter Mittelstaedt, Paul A. Weingartner. by
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: K460 M58 2005.

Place hold Add to cart
36.
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Series: Applied Logic Series ; 35
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: QA9 C37 2008.

Place hold Add to cart
37.
A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. by Series: Applied Logic Series ; 29
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 K36 2005.

Place hold Add to cart
38.
The Legacy of Mario Pieri in Geometry and Arithmetic [electronic resource] / by Elena Anne Marchisotto, James T. Smith. 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: QA29.P72 M37 2007.

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

Place hold Add to cart
Pages

Powered by Koha