
- Publisher: Cambridge University Press
- Online publication date: March 2017
- Print publication year: 2017
- Online ISBN: 9781316716939
- DOI: https://doi.org/10.1017/9781316716939
- Subjects: Mathematics, Logic, Categories and Sets, Computer Science, Programming Languages and Applied Logic
- Series: Lecture Notes in Logic (6)