Subjects
Programming languages (Electronic computers), Semantics, Symbolic and mathematical Logic, Type theoryID Numbers
- OLID: OL13401043A
Links outside Open Library
No links yet. Add one?
November 30, 2023 | Created by MARC Bot | import new book |
No links yet. Add one?
November 30, 2023 | Created by MARC Bot | import new book |