|
|
1.
|
Symbolic logic and mechanical theorem proving
by Chang, Chin-Liang | Lee, Richard Char-Tung. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1).
|
|
|
2.
|
Mathematical thinking and writing
by Maddox, Randall B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Harcourt, 2002Availability: Items available for loan: [Call number: 511.3 MAD] (1).
|
|
|
3.
|
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).
|
|
|
4.
|
Mathematical logic : a course with exercises
by Cori, Rene. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford Oxford University Press 2001Availability: Items available for loan: [Call number: 511.3 COR] (2).
|
|
|
5.
|
Reasoning about uncertainty
by Halpern, Joseph Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2003Availability: Items available for loan: [Call number: 003.54 HAL] (1).
|
|
|
6.
|
Word and object
by Quine, Willard Van Orman. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1960Availability: Items available for loan: [Call number: 149.94 QUI] (1).
|
|
|
7.
|
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).
|
|
|
8.
|
Automated theorem proving : theory and practice
by Newborn, Monty. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2).
|
|
|
9.
|
Descriptive complexity
by Immerman, Neil. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1999Availability: Items available for loan: [Call number: 511.3 IMM] (1).
|
|
|
10.
|
Introduction to mathematical logic
by Mendelson, Elliot. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: Chapman & Hall, 1997Availability: Items available for loan: [Call number: 511.3 MEN] (1).
|
|
|
11.
|
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).
|
|
|
12.
|
Logically determined design : clockless system design with NULL convention logic
by Fant, Karl M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 621.381 FAN] (1).
|
|
|
13.
|
Computability and logic
by Boolos, George S | Burgess, John P | Jeffrey, Richard C. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BOO] (1).
|
|
|
14.
|
How to prove it : a structured approach
by Velleman, Daniel J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1994Availability: Items available for loan: [Call number: 511.3 VEL] (2).
|
|
|
15.
|
Set theory, logic and their limitations
by Machover, Moshe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 511.3 MAC] (1).
|
|
|
16.
|
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).
|
|
|
17.
|
How to prove it : a structured approach
by Velleman, Daniel J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 511.3 VEL] (1).
|
|
|
18.
|
Set theory and its logic
by Quine, William V. Edition: Revised ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Belknap Press, 1969Availability: Items available for loan: [Call number: 512.817 QUI] (1).
|
|
|
19.
|
Non-standard analysis
by Robinson, Abraham. Edition: Rev. ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 1996Availability: Items available for loan: [Call number: 515.1 ROB] (1).
|
|
|
20.
|
Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
by Badesa, Calixto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 2004Availability: Items available for loan: [Call number: 511.8 BAD] (1).
|
