A framework for defining logics
Bookmark
ShareCopied to clipboardA framework for defining logics is a book. It was written by Robert Harper and published by LFCS, Dept. of Computer Science, University of Edinburgh in 1991.
Key facts
- author: Robert Harper
- publication date: 1991
- book publisher: LFCS, Dept. of Computer Science, University of Edinburgh
- book series: LFCS report series
- book subjects: Logic design, Lambda calculus
See more factsExtract data
Download datasets about A framework for defining logics:
Dataset of books series that contain A framework for defining logics:
Dataset of book subjects that contain A framework for defining logics:
"A framework for defining logics" is one of the books by Robert Harper, books by LFCS, Dept. of Computer Science, University of Edinburgh and 2,617,384 books in our database.
Related
Connected or similar to A framework for defining logics: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.