1. Propositions

by Merricks,Trenton.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Clarendon Press, 2018Availability: Items available for loan: [Call number: 160 MER] (1).
2. Interpolation and definability : modal and intuitionistic logics

by Gabbay, Dov M | Maksimova, Larisa.

Publisher: Oxford Clarendon Press 2005Availability: Items available for loan: [Call number: 511.3 GAB] (1).
3. 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).

Powered by Koha