Koha online

1.
Liar : an essay on truth and circularity

by Barwise, Jon | Etchemendy, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 1995Availability: Items available for loan: [Call number: 165 BAR] (1).
Place hold
2.
Software engineering 1 : abstraction and modelling.

by Bjorner, Dines | Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
Place hold
3.
Elements of finite model theory

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
Place hold
4.
Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings

by Rovan, Branislav | Vojtas, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
Place hold
5.
Discrete Mathematical Structures

by Rao, G. Shanker.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: New Age International, 2002Availability: Items available for loan: [Call number: 511.3 RAO] (1).
Place hold
6.
Discrete Mathematical Structures with Applications to Computer Science

by Tremblay, Jean-Paul | Manohar, R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2001Availability: Items available for loan: [Call number: 510.240901 TRE] (7).
Place hold
7.
No cover image available
Recursive function theory and logic

by Yasuhara, Ann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
Place hold
8.
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
9.
Principia Mathematica to 56

by Whitehead, Alfred N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 511.3 WHI] (1).
Place hold
10.
Constraint logic programming using ECLiPSe

by Apt, Krzysztof R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.116 APT] (1).
Place hold
11.
From Frege to Godel

by Heijenoort, Jean Van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Harvard University Press, 1967Availability: Items available for loan: [Call number: 511.3 HEI] (1).
Place hold
12.
Three views of logic : mathematics, philosophy, and computer science

by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
Place hold
13.
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz

by Ravi, S. S | Shukla, Sandeep K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 RAV] (1).
Place hold
14.
Computer science : the hardware, software and heart of it

by Blum, Edward K | Aho, Alfred V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 004 BLU] (1).
Place hold
15.
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003

by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
Place hold
16.
Modelling distributed systems

by Fokkink, Wan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
Place hold
17.
Information from processes : about the nature of information creation, use, and representation

by Losee, Robert M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 003.54 LOS] (1).
Place hold
18.
Logic : a brief course

by Mundici, Daniele.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Milan: Springer, 2012Availability: Items available for loan: [Call number: 511.3 MUN] (1).
Place hold
19.
Dawn of software engineering : from turing to dijkstra.

by Daylight, Edgar G | Daylight, Edgar G | Grave, Kurt De.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heverlee: Lonely Scholar, 2012Availability: Items available for loan: [Call number: 005.1 DAY] (1).
Place hold
20.
Interpolation and definability : modal and intuitionistic logics

by Gabbay, Dov M | Maksimova, Larisa.

Publisher: Oxford Clarendon Press 2005Availability: Items available for loan: [Call number: 511.3 GAB] (1).
Place hold

Powered by Koha