Koha online

1.
Mathematical thinking and writing

by Maddox, Randall B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Harcourt, 2002Availability: Items available for loan: [Call number: 511.3 MAD] (1).
Place hold
2.
Logic for mathematics and computer science

by Burris, Stanley N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 1998Availability: Items available for loan: [Call number: 511.3 BUR] (1).
Place hold
3.
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games

by Ensley, Douglas E | Crawley, J. Winston.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 511.1 ENS] (1).
Place hold
4.
How to prove it : a structured approach

by Velleman, Daniel J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1994Availability: Items available for loan: [Call number: 511.3 VEL] (2).
Place hold
5.
Linear logic in computer science

by Ehrhard, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
Place hold
6.
How to prove it : a structured approach

by Velleman, Daniel J.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 511.3 VEL] (1).
Place hold
7.
Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (7). Items available for reference: [Call number: 511 ROS] (3).
Place hold
8.
No cover image available
Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for loan: [Call number: 511 ROS] (1).
Place hold
9.
No cover image available
Recursive function theory and logic

by Yasuhara, Ann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
Place hold
10.
Oxford handbook of philosophy of mathematics and logic

by Shapiro, Stewart.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2005Availability: Items available for loan: [Call number: 510.1 SHA] (1).
Place hold
11.
Mathematical logic

by Kleene, Stephen Cole.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Dover Publications, 2002Availability: Items available for loan: [Call number: 511.3 KLE] (1).
Place hold
12.
Proofs and refutations: The logic of mathematical discovery

by Lakatos, Imre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.3 LAK] (1).
Place hold
13.
Mathematics and plausible reasoning

by Polya, George.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Princeton University Press, 1990Availability: Items available for loan: [Call number: 510 POL] (1).
Place hold
14.
Three views of logic : mathematics, philosophy, and computer science

by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
Place hold
15.
What is a number? : mathematical concepts and their origins

by Tubbs, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Baltimore: John Hopkins University Press, 2009Availability: Items available for loan: [Call number: 510.1 TUB] (1).
Place hold
16.
Foundations of logic and mathematics: Applications to computer science and cryptography

by Nievergelt, Yves.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
Place hold
17.
Haskell road to logic, maths and programming

by Doets, Kees | Eijck, J. van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: King's College Publishing, 2004Availability: Items available for loan: [Call number: 005.115 DOE] (1).
Place hold
18.
Handbook of mathematical induction : theory and applications

by Gunderson, David S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: Chapman & Hall/CRC, 2011Availability: Items available for loan: [Call number: 511.36 GUN] (1).
Place hold
19.
Discrete structures with contemporary applications

by Stanoyevitch, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 004.0151 STA] (1).
Place hold
20.
Concise introduction to pure mathematics

by Liebeck, Martin W.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 510 LIE] (1).
Place hold

Powered by Koha