1. Many-dimensional modal logics theory and applications

by Gabbay, Dov M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 2003Availability: Items available for loan: [Call number: 511.3 GAB] (1).
2. Handbook of modal logic. Volume 3

by Benthem, Johan Van | Blackburn, Patrick | Wolter, Frank.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 2007Availability: Items available for loan: [Call number: 160 BLA] (1).
3. Incompleteness in the land of sets

by Fitting, Melvin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: College Publications, 2007Availability: Items available for loan: [Call number: 511.3 FIT] (1).
4. Classical recursion theory. Volume 2

by Odifreddi, Piergiorgio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 1999Availability: Items available for loan: [Call number: 511.3 ODI] (1).

Powered by Koha