101. 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).
102. Modelling and verification of secure exams

by Giustolisi, Rosario.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 005.8 GIU] (1).
103. 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).
104. Frege's philosophy of mathematics

by Demopoulos, William.

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

Powered by Koha