|
1.
|
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).
|
|
2.
|
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).
|
|
3.
|
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).
|
|
4.
|
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).
|
|
5.
|
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).
|
|
6.
|
Introductory Discrete Mathematics
by Balakrishnan, V. K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1996Availability: Items available for loan: [Call number: 511 BAL] (1).
|
|
7.
|
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).
|
|
8.
|
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).
|
|
9.
|
Principles of mathematics revisited
by Hintikka, Jaakko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1998Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
10.
|
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).
|
|
11.
|
Classical and nonclassical logics : an introduction to the mathematics of propositions
by Schechter, Eric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2005Availability: Items available for loan: [Call number: 160 SCH] (1).
|
|
12.
|
Mathematical methods in artificial intelligence
by Bender, Edward A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: IEEE Computer Society, 2000Availability: Items available for loan: [Call number: 006.3015 BEN] (1).
|
|
13.
|
Algebric coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
by Ashikhmin, A | Barg, A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Providence: American Mathematcial Society, 2005Availability: Items available for loan: [Call number: 003.54 ASH] (1).
|
|
14.
|
Incompleteness Phenomenon
by Goldstern, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 1998Availability: Items available for loan: [Call number: 511.3 GOL] (1).
|
|
15.
|
Advanced arithmetic for the digital computer : Design of arithmetic units
by Kulisch, Ulrich W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004.01513 KUL] (1).
|
|
16.
|
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
17.
|
Fuzzy group theory
by Mordeson, John N | Bhutani, Kiran R | Rosenfeld, Azriel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 MOR] (1).
|
|
18.
|
Fuzzy equational logic
by Belohlavek, Radim | Vychodil, Vilem. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 BEL] (1).
|
|
19.
|
Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings
by Rovan, Branislav | Vojtas, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
|
|
20.
|
Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings
by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
|