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