|
1.
|
Liar : an essay on truth and circularity
by Barwise, Jon | Etchemendy, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 1995Availability: Items available for loan: [Call number: 165 BAR] (1).
|
|
2.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
3.
|
Elements of finite model theory
by Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
|
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
|
|
5.
|
Discrete Mathematical Structures
by Rao, G. Shanker. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: New Age International, 2002Availability: Items available for loan: [Call number: 511.3 RAO] (1).
|
|
6.
|
Discrete Mathematical Structures with Applications to Computer Science
by Tremblay, Jean-Paul | Manohar, R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2001Availability: Items available for loan: [Call number: 510.240901 TRE] (7).
|
|
7.
|
Recursive function theory and logic
by Yasuhara, Ann. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
|
|
8.
|
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).
|
|
9.
|
Principia Mathematica to 56
by Whitehead, Alfred N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 511.3 WHI] (1).
|
|
10.
|
Constraint logic programming using ECLiPSe
by Apt, Krzysztof R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.116 APT] (1).
|
|
11.
|
From Frege to Godel
by Heijenoort, Jean Van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Harvard University Press, 1967Availability: Items available for loan: [Call number: 511.3 HEI] (1).
|
|
12.
|
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).
|
|
13.
|
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz
by Ravi, S. S | Shukla, Sandeep K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 RAV] (1).
|
|
14.
|
Computer science : the hardware, software and heart of it
by Blum, Edward K | Aho, Alfred V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 004 BLU] (1).
|
|
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; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
16.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
|
|
17.
|
Information from processes : about the nature of information creation, use, and representation
by Losee, Robert M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 003.54 LOS] (1).
|
|
18.
|
Logic : a brief course
by Mundici, Daniele. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Milan: Springer, 2012Availability: Items available for loan: [Call number: 511.3 MUN] (1).
|
|
19.
|
Dawn of software engineering : from turing to dijkstra.
by Daylight, Edgar G | Daylight, Edgar G | Grave, Kurt De. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heverlee: Lonely Scholar, 2012Availability: Items available for loan: [Call number: 005.1 DAY] (1).
|
|
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).
|