Simple type theory : A practical Logic for Expressing and Reasoning About Mathematical Ideas (Record no. 16721)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00430pam a2200145 a 4500 |
| INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031211140 |
| INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031211140 |
| MAIN ENTRY--AUTHOR NAME | |
| Personal name | William M. Farmer |
| TITLE STATEMENT | |
| Title | Simple type theory : A practical Logic for Expressing and Reasoning About Mathematical Ideas |
| Copyright Date | |
| Place of publication | Switzerland |
| Name of publisher | Birkhauser |
| Year of publication or production | 2023 |
| PHYSICAL DESCRIPTION | |
| Number of Pages | xiv,205pages. |
| Other physical details | ill. ; |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | computer science |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Type theory. |
| ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Permanent Location | Current Location | Date acquired | Full call number | Accession Number | Koha item type |
|---|---|---|---|---|---|
| Gabriel Afolabi Ojo Central Library (Headquarters). | Gabriel Afolabi Ojo Central Library (Headquarters). | 10/09/2025 | QA76.7 .F37 2023 | 0198702 | Books |
| Gabriel Afolabi Ojo Central Library (Headquarters). | Gabriel Afolabi Ojo Central Library (Headquarters). | 10/09/2025 | QA76.7 .F37 2023 | 0198703 | Books |