|
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.
|
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).
|
|
4.
|
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).
|
|
5.
|
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).
|
|
6.
|
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).
|
|
7.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (8). Items available for reference: [Call number: 511 ROS] (2).
|
|
8.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for reference: [Call number: 511 ROS] (1).
|
|
9.
|
Recursive function theory and logic
by Yasuhara, Ann. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
|
|
10.
|
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).
|
|
11.
|
Mathematical logic
by Kleene, Stephen Cole. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 2002Availability: No items available Checked out (1).
|
|
12.
|
Proofs and refutations: The logic of mathematical discovery
by Lakatos, Imre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.3 LAK] (1).
|
|
13.
|
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).
|
|
14.
|
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).
|
|
15.
|
What is a number? : mathematical concepts and their origins
by Tubbs, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Baltimore: John Hopkins University Press, 2009Availability: Items available for loan: [Call number: 510.1 TUB] (1).
|
|
16.
|
Foundations of logic and mathematics: Applications to computer science and cryptography
by Nievergelt, Yves. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
|
|
17.
|
Haskell road to logic, maths and programming
by Doets, Kees | Eijck, J. van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: King's College Publishing, 2004Availability: Items available for loan: [Call number: 005.115 DOE] (1).
|
|
18.
|
Handbook of mathematical induction : theory and applications
by Gunderson, David S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2011Availability: Items available for loan: [Call number: 511.36 GUN] (1).
|
|
19.
|
Discrete structures with contemporary applications
by Stanoyevitch, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 004.0151 STA] (1).
|
|
20.
|
Concise introduction to pure mathematics
by Liebeck, Martin W. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 510 LIE] (1).
|