Koha online

41.
First course in logic : an introduction to model theory, proof theory, computability, and complexity

by Hedman, Shawn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 2004Availability: No items available Checked out (1).
Place hold
42.
What is a logical system?

by Gabbay, D. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 1995Availability: Items available for loan: [Call number: 511.3 GAB] (1).
Place hold
43.
Mathematical logic

by Chiswell, Ian | Hodges, Wilfrid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2007Availability: Items available for loan: [Call number: 511.3 CHI] (1).
Place hold
44.
Logic of knowledge bases

by Levesque, Hector J | Lakemeyer, Gerhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 006.332 LEV] (1).
Place hold
45.
Knowledge in action : logical foundations for specifying and implementing dynamical systems

by Reiter, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2001Availability: Items available for loan: [Call number: 006.332 REI] (1).
Place hold
46.
Concise Introduction to Mathematical Logic

by Rautenberg, Wolfgang.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.3 RAU] (1).
Place hold
47.
Mathematical logic

by Thomas, W | Ebbinghaus, H. -D | Flum, J.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1994Availability: Items available for loan: [Call number: 511.3 EBB] (1).
Place hold
48.
First-order logic and automated theorem proving

by Fitting, Melvin.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
Place hold
49.
Mathematical logic

by Turing, Alan Mathison | Gandy, R. O | Yates, C. E. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 2001Availability: Items available for loan: [Call number: 511.3 TUR] (1).
Place hold
50.
Theorems, corollaries, lemmas, and methods of proof

by Rossi, Richard J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley, 2006Availability: Items available for loan: [Call number: 511.36 ROS] (1).
Place hold
51.
Annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine

by Petzold, Charles.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: Wiley, 2008Availability: Items available for loan: [Call number: 511.3 PET] (1).
Place hold
52.
Mathematical logic

by Tourlakis, George.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2008Availability: Items available for loan: [Call number: 511.3 TOU] (1).
Place hold
53.
Fundamentals of mathematics : introduction to proofs, logic, sets, and numbers

by Schroder, Bernd S. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley, 2010Availability: Items available for loan: [Call number: 510 SCH] (1).
Place hold
54.
Mathematical logic

by Kleene, Stephen Cole.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Dover Publications, 2002Availability: Items available for loan: [Call number: 511.3 KLE] (1).
Place hold
55.
Set theory and the continuum hypothesis

by Cohen, Paul J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mineola: Dover Publications, 2008Availability: Items available for loan: [Call number: 511.322 COH] (1).
Place hold
56.
Proofs and refutations: The logic of mathematical discovery

by Lakatos, Imre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.3 LAK] (1).
Place hold
57.
Modal logic

by Blackburn, Patrick | Rijke, Maarten de | Venema, Yde.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BLA] (2).
Place hold
58.
Introduction to Godel's Theorems

by Smith, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.3 SMI] (1).
Place hold
59.
Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).
Place hold
60.
Mathematics of logic : a guide to completeness theorems and their applications

by Kaye, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.3 KAY] (1).
Place hold

Powered by Koha