|
1.
|
Advanced work in English, by C. R. E. Parker; with an introduction to the study of linguistics by W. R. O'Donnell.
by Parker, Colin Rodwell Eric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London, Longmans, 1967Availability: Items available for loan: [Call number: PE1413.P28 1967] (4).
|
|
2.
|
Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics, second edition, by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D. / abridgement editor, George J. Hademenos.
by Hademenos, George J | Lipschutz, Seymour. Schaum's outline of theory and problems of discrete mathematics. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : McGraw-Hill, c2003Online access: Publisher description Availability: Items available for loan: [Call number: QA162.D57 2003] (2).
|
|
3.
|
Discrete mathematics and its applications / Kenneth H. Rosen.
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : McGraw-Hill Higher Education, c2007Online access: Table of contents | Publisher description | Contributor biographical information Availability: Items available for loan: [Call number: QA39.2.R65 1999] (2).
|
|
4.
|
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
|
|
5.
|
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
|
|
6.
|
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
|
|
7.
|
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
|
|
8.
|
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
|
|
9.
|
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
|
|
10.
|
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
|
|
11.
|
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
|
|
12.
|
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
|
|
13.
|
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
|
|
14.
|
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
|
|
15.
|
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
|
|
16.
|
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
|
|
17.
|
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
|
|
18.
|
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
|
|
19.
|
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
|
|
20.
|
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
|