|
241.
|
Oxford handbook of philosophy of mathematics and logic
by Shapiro, Stewart. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2005Availability: Items available for loan: [Call number: 510.1 SHA] (1).
|
|
242.
|
Modal logic an introduction to its syntax and semantics
by Cocchiarella, Nino B | Freund, Max A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2008Availability: Items available for loan: [Call number: 160 COC] (1).
|
|
243.
|
First course in logic : an introduction to model theory, proof theory, computability, and complexity
by Hedman, Shawn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2004Availability: No items available Checked out (1).
|
|
244.
|
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).
|
|
245.
|
Mathematical logic
by Chiswell, Ian | Hodges, Wilfrid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2007Availability: Items available for loan: [Call number: 511.3 CHI] (1).
|
|
246.
|
Discrete Mathematics for Computing
by Grossman, Peter. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Palgrave Macmillan, 2002Availability: Items available for loan: [Call number: 004.0151 GRO] (1).
|
|
247.
|
What is Philosophy?
by Deleuze, Gilles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Verso Books, 1999Availability: Items available for loan: [Call number: 100 DEL] (1).
|
|
248.
|
Self logic and figurative thinking
by Fisher, Harwood. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Columbia University Press, 2009Availability: Items available for loan: [Call number: 155.2 FIS] (1).
|
|
249.
|
If A, then B : how the world discovered logic
by Shenefelt, Michael | White, Heidi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Columbia University Press, 2013Availability: Items available for loan: [Call number: 160.9 SHE] (1).
|
|
250.
|
Plato's Sophist
by Heidegger, Martin | Rojcewicz, Richard | Schuwer, Andre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Bloomington: Indiana University Press, 2003Availability: Items available for loan: [Call number: 184 HEI] (1).
|
|
251.
|
Concepts and fuzzy logic
by Belohlavek, Radim | Klir, George J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2011Availability: Items available for loan: [Call number: 511.313 BEL] (1).
|
|
252.
|
Logic in games
by Benthem, J. V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2014Availability: Items available for loan: [Call number: 519.3 BEN] (1).
|
|
253.
|
Elements of argumentation
by Besnard, Philippe | Hunter, Anthony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2008Availability: Items available for loan: [Call number: 006.3 BES] (1).
|
|
254.
|
Principles of model checking
by Baier, Christel | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2008Availability: Items available for loan: [Call number: 004.24 BAI] (1).
|
|
255.
|
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).
|
|
256.
|
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).
|
|
257.
|
Concise Introduction to Mathematical Logic
by Rautenberg, Wolfgang. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.3 RAU] (1).
|
|
258.
|
Rapid prototyping of digital systems
by Hamblen, James O | Furman, Michael D | Hall, Tyson S. Edition: Sopc editionMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 621.395 HAM] (2).
|
|
259.
|
Achievements in European research on grid systems
by Bubak, Marian | Gorlatch, Sergei | Priol, Thierry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 004.36 GOR] (1).
|
|
260.
|
Missing link in cybernetics : logic and continuity
by Andrew, Alex M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 003.5 AND] (1).
|