Simple type theory : A practical Logic for Expressing and Reasoning About Mathematical Ideas
Material type:
TextSwitzerland Birkhauser 2023Description: xiv,205pages. illISBN: 9783031211140; 9783031211140Subject(s): computer science | Type theory
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Gabriel Afolabi Ojo Central Library (Headquarters). | QA76.7 .F37 2023 (Browse shelf(Opens below)) | Available | 0198702 | |
|
Books
|
Gabriel Afolabi Ojo Central Library (Headquarters). | QA76.7 .F37 2023 (Browse shelf(Opens below)) | Available | 0198703 |
There are no comments on this title.