1. Godel's incompleteness theorems

by Smullyan, Raymond M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 1992Availability: Items available for loan: [Call number: 511.3 SMU] (1).
2. Computability and randomness

by Nies, Andre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 2009Availability: Items available for loan: [Call number: 511.352 NIE] (1).
3. 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).
4. Modal logic

by Chagrov, Alexander | Zakharyaschev, Michael.

Publisher: Oxford : Clarendon Press, 1997Availability: No items available Checked out (1).

Powered by Koha