1. Elements of finite model theory

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
2. New introduction to modal logic

by Hughes, G. E | Cresswell, M. J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Routledge, 1996Availability: Items available for loan: [Call number: 160 HUG] (2).

Powered by Koha