|
61.
|
First-order logic and automated theorem proving
by Fitting, Melvin. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
62.
|
Principles of Mathematics
by Russell, Bertrand. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 2002Availability: Items available for loan: [Call number: 510 RUS] (1).
|
|
63.
|
Mathematical logic
by Turing, Alan Mathison | Gandy, R. O | Yates, C. E. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Elsevier, 2001Availability: Items available for loan: [Call number: 511.3 TUR] (1).
|
|
64.
|
Theorems, corollaries, lemmas, and methods of proof
by Rossi, Richard J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2006Availability: Items available for loan: [Call number: 511.36 ROS] (1).
|
|
65.
|
Annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
by Petzold, Charles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Indianapolis: Wiley, 2008Availability: Items available for loan: [Call number: 511.3 PET] (1).
|
|
66.
|
Mathematical logic
by Tourlakis, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2008Availability: Items available for loan: [Call number: 511.3 TOU] (1).
|
|
67.
|
Fundamentals of mathematics : introduction to proofs, logic, sets, and numbers
by Schroder, Bernd S. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2010Availability: Items available for loan: [Call number: 510 SCH] (1).
|
|
68.
|
Mathematical logic
by Kleene, Stephen Cole. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 2002Availability: No items available Checked out (1).
|
|
69.
|
Set theory and the continuum hypothesis
by Cohen, Paul J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mineola: Dover Publications, 2008Availability: Items available for loan: [Call number: 511.322 COH] (1).
|
|
70.
|
Boolean Algebra and its Applications
by Whitesitt, J. Eldon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1995Availability: Items available for loan: [Call number: 511.324 WHI] (1).
|
|
71.
|
Proofs and refutations: The logic of mathematical discovery
by Lakatos, Imre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.3 LAK] (1).
|
|
72.
|
Modal logic
by Blackburn, Patrick | Rijke, Maarten de | Venema, Yde. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BLA] (2).
|
|
73.
|
Introduction to Godel's Theorems
by Smith, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.3 SMI] (1).
|
|
74.
|
Computability and logic
by Boolos, George S | Burgess, John P | Jeffrey, Richard C. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).
|
|
75.
|
Mathematics of logic : a guide to completeness theorems and their applications
by Kaye, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.3 KAY] (1).
|
|
76.
|
Mathematics and plausible reasoning
by Polya, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 1990Availability: Items available for loan: [Call number: 510 POL] (1).
|
|
77.
|
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).
|
|
78.
|
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).
|
|
79.
|
Field of Cultural Production
by Bourdieu, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Polity Press, 2000Availability: Items available for loan: [Call number: 701.17 BOU] (1).
|
|
80.
|
Social and the symbolic. Volume 2
by Bel, Bernard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Los Angeles: Sage Publications, 2007Availability: Items available for loan: [Call number: 306.40954 BEL] (1).
|