← Search the catalogueFAQ
Cover of Programming With Higher-Order Logic

Programming With Higher-Order Logic by Miller

Kalaignar Centenary Library, Madurai · reference copy, to be read in the library

Where to find it: Fourth floor, call number 005.13 MIL.

Book details

Author
Miller
Publisher
Cambridge
Year
2012
ISBN
9780521879408

Copies in the library (1)

FloorCall numberBarcodeStatus
Fourth floor005.13 MIL226539Reference only (read in the library)

Next to this on the shelf

Fourth floor, in call number order.

More by Miller

Search all books by this author

Availability comes from the library's public catalogue and can change; it was last updated 2026-11-13. Confirm at the library.

This is an unofficial search site, not run by the library (about this site). Open this book in the library's own catalogue.