Your search returned 50 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Essays in Constructive Mathematics [recurso electrónico] / by Harold M. Edwards. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 510.

Place hold Add to cart
2.
Adapting Proofs-as-Programs [recurso electrónico] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1015113.

Place hold Add to cart
3.
18 Unconventional Essays on the Nature of Mathematics [recurso electrónico] / edited by Reuben Hersh. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 510.

Place hold Add to cart
4.
Mathematical Problems from Applied Logic I [recurso electrónico] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. por Series International Mathematical Series ; 4
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
5.
Notes on Set Theory [recurso electrónico] / by Yiannis Moschovakis. por Series Undergraduate Texts in Mathematics
Edición: Second Edition.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
6.
A Concise Introduction to Mathematical Logic [recurso electrónico] / by Wolfgang Rautenberg. por Series Universitext
Edición: 2.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
7.
Ideals, Varieties, and Algorithms [recurso electrónico] : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, Donal O'Shea. por Series Undergraduate Texts in Mathematics
Edición: Third Edition.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York : Imprint: Springer, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 516.35.

Place hold Add to cart
8.
Problems and Theorems in Classical Set Theory [recurso electrónico] / by Péter Komjáth, Vilmos Totik. por Series Problem Books in Mathematics
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
9.
Techniques of Constructive Analysis [recurso electrónico] / by Douglas S. Bridges, Luminiţa Simona Vîţă. por Series Universitext
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
10.
The Proof is in the Pudding [recurso electrónico] : The Changing Nature of Mathematical Proof / by Steven G. Krantz. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2011 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 510.9.

Place hold Add to cart
11.
Additive Number Theory [recurso electrónico] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky. por
Edición: 1.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York : Imprint: Springer, 2010 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 512.7.

Place hold Add to cart
12.
Introduction to Boolean Algebras [recurso electrónico] / by Paul Halmos, Steven Givant. por Series Undergraduate Texts in Mathematics
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

Place hold Add to cart
13.
New Computational Paradigms [recurso electrónico] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151.

Place hold Add to cart
14.
Mathematical Problems from Applied Logic II [recurso electrónico] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. por Series International Mathematical Series ; 5
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
15.
The Mathematical Coloring Book [recurso electrónico] : Mathematics of Coloring and the Colorful Life of its Creators / by Alexander Soifer. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.6.

Place hold Add to cart
16.
A Missing Link in Cybernetics [recurso electrónico] : Logic and Continuity / by Alex M. Andrew. por Series IFSR International Series on Systems Science and Engineering ; 26
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
17.
The Colorado Mathematical Olympiad and Further Explorations [recurso electrónico] : From the Mountains of Colorado to the Peaks of Mathematics / by Alexander Soifer. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2011 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 512.

Place hold Add to cart
18.
A Course on Mathematical Logic [recurso electrónico] / by S. M. Srivastava. por Series Universitext
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
19.
Generalized Measure Theory [recurso electrónico] / by Zhenyuan Wang, George J. Klir. por Series IFSR International Series on Systems Science and Engineering ; 25
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 515.42.

Place hold Add to cart
20.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by Evgueni D. Solojentsev. por Series Springer Optimization and Its Applications ; 20
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

Place hold Add to cart
21.
Combinatorics and Graph Theory [electronic resource] / by John Harris, Jeffry L. Hirst, Michael Mossinghoff. por Series Undergraduate Texts in Mathematics
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

Place hold Add to cart
22.
Logic and Integer Programming [electronic resource] / by H. Paul Williams. por Series International Series in Operations Research & Management Science ; 130
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

Place hold Add to cart
23.
The Congruences of a Finite Lattice [electronic resource] : A Proof-by-Picture Approach / by George Grätzer. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.33.

Place hold Add to cart
24.
Number Theory [electronic resource] : An Introduction via the Distribution of Primes / by Benjamin Fine, Gerhard Rosenberger. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 512.7.

Place hold Add to cart
25.
104 Number Theory Problems [electronic resource] : From the Training of the USA IMO Team / by Titu Andreescu, Dorin Andrica, Zuming Feng. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 512.7.

Place hold Add to cart
26.
A Beginner's Guide to Graph Theory [electronic resource] / by W. D. Wallis. por
Edición: Second Edition.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.6.

Place hold Add to cart
27.
The Legacy of Mario Pieri in Geometry and Arithmetic [electronic resource] / by Elena Anne Marchisotto, James T. Smith. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2007 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 510.9.

Place hold Add to cart
28.
Mathematical Olympiad Challenges [electronic resource] / by Titu Andreescu, Răzvan Gelca. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2009 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 510.

Place hold Add to cart
29.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. por Series Progress in Computer Science and Applied Logic (PCS) ; 8
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.131.

Place hold Add to cart
30.
Indiscrete Thoughts [electronic resource] / by Gian-Carlo Rota ; edited by Fabrizio Palombi. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Birkhäuser Boston, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 510.9.

Place hold Add to cart
Pages