|
1.
|
Science of programming
by Gries, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1981Availability: Items available for loan: [Call number: 001.642 GRI] (2).
|
|
2.
|
Concise introduction to logic
by Hurley, Patrick J. Edition: 7th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thomson Learning, 2000Availability: Items available for loan: [Call number: 160 HUR] (2).
|
|
3.
|
Introduction to Artificial Intelligence
by Charniak, Eugene. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Addison-Wesley, 2000Availability: Items available for loan: [Call number: 006.3 CHA] (1).
|
|
4.
|
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).
|
|
5.
|
Logic in computer science : modelling and reasoning about systems
by Huth, Michael | Ryan, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (1). Items available for reference: [Call number: 005.1 HUT] (1).
|
|
6.
|
Logic in Computer Science : modeling and reasoning about systems
by Huth, Michael | Ryan, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: No items available Checked out (1).
|
|
7.
|
Kant and the fate of autonomy : problems in the appropriation of the critical philosophy
by Ameriks, Karl. Publisher: Cambridge Cambridge University Press 2000Availability: Items available for loan: [Call number: 142.3 AME] (1).
|
|
8.
|
Symbolic logic
by Makridis, Odysseus. Publisher: Cham : Palgrave Macmillan, 2021Availability: Items available for loan: [Call number: 160 MAK] (1).
|
|
9.
|
Kant's conception of freedom : a developmental and critical analysis
by Allison, Henry E. Publisher: Cambridge : Cambridge University Press, 2021Availability: Items available for loan: [Call number: 123.5092 ALL] (1).
|
|
10.
|
Kant's doctrine of transcendental illusion
by Grier, Michelle. Publisher: Cambridge : Cambridge University Press, 2001Availability: Items available for loan: [Call number: 193 GRI] (1).
|
|
11.
|
Kant's transcendental deduction : an analytical-historical commentary
by Allison, Henry E. Publisher: Oxford : Oxford University Press, 2015Availability: Items available for loan: [Call number: 121 ALL] (1).
|
|
12.
|
Language, form, and logic : in pursuit of natural logic's holy grail
by Ludlow, Peter | Zivanovic, Saso. Publisher: Oxford : Oxford University Press, 2022Availability: Items available for loan: [Call number: 410.1 LUD] (1).
|
|
13.
|
Routledge philosophy guidebook to Kant and the Critique of pure reason
by Gardner, sebastian. Publisher: New York : Routledge, 1999Availability: Items available for loan: [Call number: 121 GAR] (1).
|
|
14.
|
Kant's theory of freedom
by Allison, Henry E. Publisher: Cambridge : Cambridge University Press, 1990Availability: Items available for loan: [Call number: 123.5092 ALL] (1).
|
|
15.
|
Mathematical logic through Python
by Gonczarowski, Yannai A | Nisan, Noam. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 005.131 GON] (1).
|