21. 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).
22. 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).
23. 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).
24. 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).
25. One hundred prisoners and a light bulb

by Ditmarsch, Hans van | Kooi, Barteld [aut] | Elancheziyan [ill].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2015Availability: Items available for loan: [Call number: 793.74 DIT] (1).
26. Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma

by Copeland, B. Jack ed.

Publisher: Oxford : Clarendon Press, 2013Availability: Items available for loan: [Call number: 510.92 COP] (1).
27. Frege's philosophy of mathematics

by Demopoulos, William.

Publisher: Cambridge : Harvard University Press, 1997Availability: Items available for loan: [Call number: 510.1 DEM] (1).
28. Logic and structure

by Dalen, Dirk van.

Edition: 5th ed. Publisher: London : Springer, 2004Availability: No items available Checked out (1).
29. Joy of abstraction : an exploration of math, category theory, and life

by Cheng, Eugenia.

Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 510 CHE] (1).

Powered by Koha