Clausal Theory of Types
Material type: TextSeries: Cambridge Tracts in Theoretical Computer Science, 21Publication details: Cambridge ; Cambridge University Press ; 1993Description: 124pISBN: 0 521 39538 0Subject(s): Computer - Logic ProgrammingCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.2.06 WOL (Browse shelf (Opens below)) | Available | 29443 |
There are no comments on this title.