A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Material type: Computer fileSeries: Applied Logic Series ; 29Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005.Description: v.: digitalISBN:- 9781402023354
- QA9 K36 2005
Item type | Current library | Call number | URL | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Digital Colección Digital | QA9 K36 2005 (Browse shelf(Opens below)) | Link to resource | 1 | Available | SpringerLink | BDIG00003183 |
There are no comments on this title.
Log in to your account to post a comment.