|
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.
|
In the light of logic
by Feferman, Solomon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 1998Availability: Items available for loan: [Call number: 511.3 FEF] (1).
|
|
5.
|
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).
|
|
6.
|
Anthropology of experience
by Turner, Victor Witter | Bruner, Edward M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Urbana: University of Illinois Press, 1986Availability: Items available for loan: [Call number: 306.01 TUR] (1).
|
|
7.
|
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).
|
|
8.
|
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).
|
|
9.
|
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).
|
|
10.
|
Fundamental algorithms for permutation groups
by Butler, G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1991Availability: Items available for loan: [Call number: 004 BUT] (1).
|
|
11.
|
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).
|
|
12.
|
Codes, systems, and graphical models
by Marcus, Brain | Marcus, Brain | Rosenthal, Joachim | Rosenthal, Joachim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 003.54 MAR] (1).
|
|
13.
|
Temporal Logic of Reactive and Concurrent Systems
by Manna, Zohar | Pnueli, A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1).
|
|
14.
|
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).
|
|
15.
|
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).
|
|
16.
|
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).
|
|
17.
|
How to read and do proofs : an introduction to mathematical throught processes
by Solow, Daniel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New york: John Wiley & Sons, 1990Availability: Items available for loan: [Call number: 511.58 SOL] (1).
|
|
18.
|
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).
|
|
19.
|
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).
|
|
20.
|
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).
|