|
41.
|
Set theory: An introduction
by Vaught, Robert L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 1994Availability: Items available for loan: [Call number: 511.322 VAU] (1).
|
|
42.
|
Discovering modern set theory, 1 : the basics
by Just, Winfried | Weese, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: American Mathematcial Society, 1998Availability: Items available for loan: [Call number: 511.322 JUS] (1).
|
|
43.
|
Appalachian set theory : 2006-2012
by Cummings, James | Schimmerling, Ernest. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 511.3 CUM] (1).
|
|
44.
|
Ensemble methods : foundations and algorithms
by Zhou, Zhi-Hua. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Crc Press, 2012Availability: Items available for loan: [Call number: 006.31 ZHO] (1).
|
|
45.
|
Proofs and fundamentals : a first course in abstract mathematics
by Bloch, Ethan D. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BLO] (1).
|
|
46.
|
Roads to infinity : the mathematics of truth and proof
by Stillwell, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 2010Availability: Items available for loan: [Call number: 511.322 STI] (1).
|
|
47.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2010Availability: Items available for loan: [Call number: 511.3 MEN] (1).
|
|
48.
|
Mathematical tools for data mining : set theory, partial orders, combinatorics
by Simovici, Dan A | Djeraba, Chabane. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 005.74 SIM] (1).
|
|
49.
|
Incompleteness in the land of sets
by Fitting, Melvin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: College Publications, 2007Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
50.
|
Infinity and the mind : the science and philosophy of the infinite
by Rucker, Rudy Von B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: New Age International, 2007Availability: Items available for loan: [Call number: 111.6 RUC] (1).
|
|
51.
|
Handbook of Logic and Proof Techniques for Computer Science
by Krantz, Steven G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).
|
|
52.
|
Linear algebra : a pure mathematical approach
by Rose, Harvey E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 512.5 ROS] (1).
|
|
53.
|
Abstract algebra
by Chatterjee, Dipak. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 512.02 CHA] (1).
|
|
54.
|
Logic For Applications
by Nerode, Anil | Shore, Richard A. Edition: 2nd edMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.1015113 NER] (1).
|
|
55.
|
Commutation relations, normal ordering, and stirling numbers
by Mansour, Toufik | Schork, Matthias. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press. 2015Availability: Items available for loan: [Call number: 511.6 MAN] (1).
|
|
56.
|
Sets and computations
by Friedman, Sy D | Raghavan, Dilip | Yang, Yue. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific Publishing, 2017Availability: Items available for loan: [Call number: 511.322 FRI] (1).
|
|
57.
|
Applied mathematics for database professionals
by De Hann, Lex. Publisher: USA: Apress, 2007Availability: Items available for loan: [Call number: 519 DEH] (1).
|
|
58.
|
Reverse mathematics proofs from the inside out
by Stillwell, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2017Availability: Items available for loan: [Call number: 511.3 STI] (1).
|
|
59.
|
Higher-order logic and type theory
by Bell, John L. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 511.3 BEL] (1).
|
|
60.
|
Set theory : a first course
by Cunningham, Daniel W. Publisher: New York : Cambridge University Press, 2016Availability: Items available for loan: [Call number: 511.322 CUN] (1).
|