|
61.
|
Alan Turing's systems of logic : the Princeton thesis
by Appel, Andrew W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2012Availability: Items available for loan: [Call number: 511.3 APP] (1).
|
|
62.
|
Three views of logic : mathematics, philosophy, and computer science
by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
|
|
63.
|
Introduction to Mathematical Structures and Proofs
by Gerstein, Larry J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 GER] (1).
|
|
64.
|
Logic, sets, and recursion
by Causey, Robert L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: Jones & Bartlett, 2006Availability: Items available for loan: [Call number: 511.3 CAU] (1).
|
|
65.
|
Discrete structures, logic, and computability
by Hein, James L. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 004.0151 HEI] (1).
|
|
66.
|
What is a number? : mathematical concepts and their origins
by Tubbs, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Baltimore: John Hopkins University Press, 2009Availability: Items available for loan: [Call number: 510.1 TUB] (1).
|
|
67.
|
Foundations of logic and mathematics: Applications to computer science and cryptography
by Nievergelt, Yves. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
|
|
68.
|
Haskell road to logic, maths and programming
by Doets, Kees | Eijck, J. van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: King's College Publishing, 2004Availability: Items available for loan: [Call number: 005.115 DOE] (1).
|
|
69.
|
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).
|
|
70.
|
Metamathematics of fuzzy logic
by Hajek, Petr. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 1988Availability: Items available for loan: [Call number: 511.3 HAJ] (1).
|
|
71.
|
Analysis and synthesis of logics : how to cut and paste reasoning systems
by Carnielli, Walter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2008Availability: Items available for loan: [Call number: 511.3 CAR] (1).
|
|
72.
|
Handbook of mathematical induction : theory and applications
by Gunderson, David S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2011Availability: Items available for loan: [Call number: 511.36 GUN] (1).
|
|
73.
|
Introduction to mathematics of satisfiability
by Marek, Victor W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2009Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
74.
|
Discrete structures with contemporary applications
by Stanoyevitch, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 004.0151 STA] (1).
|
|
75.
|
Concise introduction to pure mathematics
by Liebeck, Martin W. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 510 LIE] (1).
|
|
76.
|
Concise introduction to mathematical logic
by Rautenberg, Wolfgang. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: No items available Checked out (1).
|
|
77.
|
P=NP question and Godel?s lost letter
by Lipton, Richard J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 511.3 LIP] (1).
|
|
78.
|
Course on mathematical logic
by Srivastava, Shashi Mohan. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2013Availability: Items available for loan: [Call number: 006.7 SRI] (1).
|
|
79.
|
Computational Thinking for The Modern Problem Solver
by Riley, David D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 004 RIL] (1).
|
|
80.
|
Games, puzzles, and computation
by Hearn, Robert A | Demaine, Erik D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Wellesley: A K Peters, 2009Availability: Items available for loan: [Call number: 510 HEA] (1).
|