|
|
1.
|
Essays in Constructive Mathematics [electronic resource] / by Harold M. Edwards.
by Edwards, Harold M | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
2.
|
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
by Poernomo, Iman Hafiz | Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
3.
|
18 Unconventional Essays on the Nature of Mathematics [electronic resource] / edited by Reuben Hersh.
by Hersh, Reuben | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
4.
|
Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
by Gabbay, Dov M | Goncharov, Sergei S | Zakharyaschev, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
5.
|
Notes on Set Theory [electronic resource] / by Yiannis Moschovakis.
by Moschovakis, Yiannis | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
6.
|
A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg.
by Rautenberg, Wolfgang | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
7.
|
Ideals, Varieties, and Algorithms [electronic resource] : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, Donal O’Shea.
by Cox, David | Little, John | O’Shea, Donal | SpringerLink (Online service). Edition: 3.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available
|
|
|
8.
|
Problems and Theorems in Classical Set Theory [electronic resource] / by Péter Komjáth, Vilmos Totik.
by Komjáth, Péter | Totik, Vilmos | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
9.
|
Techniques of Constructive Analysis [electronic resource] / by Douglas S. Bridges, Luminiţa Simona Vîţă.
by Bridges, Douglas S | Vîţă, Luminiţa Simona | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
10.
|
The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof / by Steven G. Krantz.
by Krantz, Steven G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
11.
|
Additive Number Theory [electronic resource] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky.
by Chudnovsky, David | Chudnovsky, Gregory | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
12.
|
Introduction to Boolean Algebras [electronic resource] / by Paul Halmos, Steven Givant.
by Halmos, Paul | Givant, Steven | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available
|
|
|
13.
|
New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.
by Cooper, S. Barry | Löwe, Benedikt | Sorbi, Andrea | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: No items available
|
|
|
14.
|
Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov.
by Gabbay, Dov M | Zakharyaschev, Michael | Goncharov, Sergei S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available
|
|
|
15.
|
The Mathematical Coloring Book [electronic resource] : Mathematics of Coloring and the Colorful Life of its Creators / by Alexander Soifer.
by Soifer, Alexander | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available
|
|
|
16.
|
A Missing Link in Cybernetics [electronic resource] : Logic and Continuity / by Alex M. Andrew.
by Andrew, Alex M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available
|
|
|
17.
|
The Colorado Mathematical Olympiad and Further Explorations [electronic resource] : From the Mountains of Colorado to the Peaks of Mathematics / by Alexander Soifer.
by Soifer, Alexander | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
18.
|
A Course on Mathematical Logic [electronic resource] / by S. M. Srivastava.
by Srivastava, S. M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: No items available
|
|
|
19.
|
Generalized Measure Theory [electronic resource] / by Zhenyuan Wang, George J. Klir.
by Wang, Zhenyuan | Klir, George J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
|
20.
|
Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by Evgueni D. Solojentsev.
by Solojentsev, Evgueni D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
