Koha online

1.
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
2.
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
3.
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
4.
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
5.
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
6.
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
7.
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
8.
Computational Thinking for The Modern Problem Solver

by Riley, David D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 004 RIL] (1).
Place hold
9.
Fundamentals of discrete mathematical structures

by Chowdhary, K. R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2008Availability: Items available for loan: [Call number: 511 CHO] (1).
Place hold
10.
Logic : a brief course

by Mundici, Daniele.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Milan: Springer, 2012Availability: Items available for loan: [Call number: 511.3 MUN] (1).
Place hold
11.
Neighborhood semantics for modal logic

by Pacuit, Eric.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer International Publishing 2017Availability: Items available for loan: [Call number: 160 PAC] (1).
Place hold

Powered by Koha