|
301.
|
Introduction to Godel's Theorems
by Smith, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.3 SMI] (1).
|
|
302.
|
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).
|
|
303.
|
Mathematics of logic : a guide to completeness theorems and their applications
by Kaye, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.3 KAY] (1).
|
|
304.
|
Encyclopaedia of the philosophical sciences in basic outline : part 1 : science of logic
by Hegel, Georg Wilhelm Fredrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 160 HEG] (1).
|
|
305.
|
Science of logic
by Hegel, Georg Wilhelm Friedrich | Di Giovanni, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 160 HEG] (1).
|
|
306.
|
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).
|
|
307.
|
Introduction to software testing
by Ammann, Paul | Offutt, Jeff. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 004.24 AMM] (1).
|
|
308.
|
Lambda calculus and combinators : an introduction
by Hindley, J. Roger | Seldin, J. P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.35 HIN] (1).
|
|
309.
|
How doctors think
by Groopman, Jerome. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Houghton Mifflin Company, 2007Availability: Items available for loan: [Call number: 610 GRO] (1).
|
|
310.
|
Remarks on the Foundations of Mathematics
by Wittgenstein, Ludwig. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Basil Blackwell, 2001Availability: Items available for loan: [Call number: 511.2 WIT] (1).
|
|
311.
|
BEA WebLogic workshop : kick start
by Wutka, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Indiana: Sams Publishing, 2002Availability: Items available for loan: [Call number: 005.713769 WEB] (2).
|
|
312.
|
Business Programming Logic and Design
by Russell, Jack P. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: HarperCollins, 1994Availability: Items available for loan: [Call number: 621.395 RUS] (1).
|
|
313.
|
Intention
by Anscombe, G. E. M. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Harvard University Press, 2000Availability: Items available for loan: [Call number: 160 ANS] (1).
|
|
314.
|
From a logical point of view : nine logico-philosophical essays
by Quine, W. V. O. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Harvard University Press, 1980Availability: Items available for loan: [Call number: 160 QUI] (1).
|
|
315.
|
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).
|
|
316.
|
Mathematics and plausible reasoning
by Polya, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 1990Availability: Items available for loan: [Call number: 510 POL] (1).
|
|
317.
|
Logician and the engineer : how George Boole and Claude Shannon created the information age
by Nahin, Paul J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2013Availability: Items available for loan: [Call number: 510.922 NAH] (1).
|
|
318.
|
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).
|
|
319.
|
Philosophical logic
by Burgess, John P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2012Availability: Items available for loan: [Call number: 160 BUR] (1).
|
|
320.
|
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).
|