|
1.
|
Logic for mathematics and computer science
by Burris, Stanley N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 1998Availability: Items available for loan: [Call number: 511.3 BUR] (1).
|
|
2.
|
Adapting proofs-as-programs : the Curry-Howard protocol
by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
|
|
3.
|
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
by Ensley, Douglas E | Crawley, J. Winston. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 511.1 ENS] (1).
|
|
4.
|
Linear logic in computer science
by Ehrhard, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
|
|
5.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (8). Items available for reference: [Call number: 511 ROS] (2).
|
|
6.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for reference: [Call number: 511 ROS] (1).
|
|
7.
|
Symbolic and Knowledge-Based Signal Processing
by Oppenheim, Alan V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1992Availability: Items available for loan: [Call number: 621.38220285 OPP] (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.
|
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).
|
|
10.
|
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).
|
|
11.
|
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).
|
|
12.
|
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).
|
|
13.
|
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).
|
|
14.
|
Foundations of logic and mathematics: Applications to computer science and cryptography
by Nievergelt, Yves. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
|
|
15.
|
Discrete structures with contemporary applications
by Stanoyevitch, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 004.0151 STA] (1).
|
|
16.
|
Computational Thinking for The Modern Problem Solver
by Riley, David D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 004 RIL] (1).
|
|
17.
|
Computable models
by Turner, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
|
|
18.
|
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).
|
|
19.
|
Fundamentals of discrete mathematical structures
by Chowdhary, K. R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2008Availability: Items available for loan: [Call number: 511 CHO] (1).
|
|
20.
|
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).
|