1. Concise introduction to logic

by Hurley, Patrick J.

Edition: 7th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson Learning, 2000Availability: Items available for loan: [Call number: 160 HUR] (2).
2. Structure of proof with logic and set theory

by O'Leary, Michael L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 2002Availability: Items available for loan: [Call number: 511.3 OLE] (1).
3. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (2).
4. Logic : lecture notes for philosophy, mathematics, and computer science

by Iacona, Andrea.

Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 160 IAC] (1).

Powered by Koha