1. Propositional and predicate calculus : a model of argument

by Goldrei, Derek.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.3 GOL] (1).
2. Introduction to mathematics of satisfiability

by Marek, Victor W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2009Availability: Items available for loan: [Call number: 511.3 MAR] (1).

Powered by Koha