Search the Library Catalogue
Categorical logic and type theory Bart Jacobs
Publication details: Amsterdam ; New York Elsevier Science c1999Edition: 1st edDescription: xviii, 760 p. : ill. ; 23 cmISBN:- 444501703
- 98043478
- 511.3 JAC
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 511.3 JAC (Browse shelf(Opens below)) | Available | 350870 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 511.3 HOU Fundamentals of Logic and Computation | 511.3 INC Conceptions of Set and the Foundations of Mathematics | 511.3 J.E introduction to Automata Theory,Languages and Computations | 511.3 JAC Categorical logic and type theory | 511.3 JEC The axiom of choice | 511.3 JOH Notes on logic and set theory | 511.3 KAA Polynomial completeness in algebraic systems |
Includes bibliographical references (p. 717-733) and indexes
There are no comments on this title.
Log in to your account to post a comment.