Higher order logic theorem proving and its applications Luc J M Claesen
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 005.1 CLA-H
Item type | Current library | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Dept. of Mathematics Processing Center | Dept. of Mathematics | 005.1 CLA-H (Browse shelf(Opens below)) | Available | MAT4221 |
There are no comments on this title.
Log in to your account to post a comment.