1. Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition

by Leitgeb, Hannes.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Kluwer Academic Publishers, 2004Availability: Items available for loan: [Call number: 160 LEI] (1).
2. Analysis and synthesis of logics : how to cut and paste reasoning systems

by Carnielli, Walter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2008Availability: Items available for loan: [Call number: 511.3 CAR] (1).
3. Hybrid logic and its proof-theory

by Brauner, Torben.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BRA] (1).
4. Multi-Dimensional Modal Logic

by Marx, Maarten | Venema, Yde.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 1997Availability: Items available for loan: [Call number: 160 MAR] (1).

Powered by Koha