Koha online

1.
Logic, sets, and recursion (Supplement)

by Causey, Robert L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Jones & Bartlett, 2001Availability: Items available for loan: [Call number: 511.3 CAU] (2).
Place hold
2.
Isabelle/HOL : a Proof Assistant for Higher-Order Logic

by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
Place hold
3.
Logic, sets, and recursion

by Causey, Robert L.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 511.3 CAU] (4).
Place hold

Powered by Koha