|
41.
|
What is a logical system?
by Gabbay, D. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 1995Availability: Items available for loan: [Call number: 511.3 GAB] (1).
|
|
42.
|
Mathematical logic
by Chiswell, Ian | Hodges, Wilfrid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2007Availability: Items available for loan: [Call number: 511.3 CHI] (1).
|
|
43.
|
Logic of knowledge bases
by Levesque, Hector J | Lakemeyer, Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 006.332 LEV] (1).
|
|
44.
|
Knowledge in action : logical foundations for specifying and implementing dynamical systems
by Reiter, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2001Availability: Items available for loan: [Call number: 006.332 REI] (1).
|
|
45.
|
Concise Introduction to Mathematical Logic
by Rautenberg, Wolfgang. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.3 RAU] (1).
|
|
46.
|
Mathematical logic
by Thomas, W | Ebbinghaus, H. -D | Flum, J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1994Availability: Items available for loan: [Call number: 511.3 EBB] (1).
|
|
47.
|
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).
|
|
48.
|
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).
|
|
49.
|
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).
|
|
50.
|
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).
|
|
51.
|
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).
|
|
52.
|
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).
|
|
53.
|
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).
|
|
54.
|
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).
|
|
55.
|
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).
|
|
56.
|
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).
|
|
57.
|
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).
|
|
58.
|
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).
|
|
59.
|
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).
|
|
60.
|
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).
|