![](https://assets.cambridge.org/97805218/84242/cover/9780521884242.jpg)
- Publisher:
- Cambridge University Press
- Online publication date:
- July 2014
- Print publication year:
- 2007
- Online ISBN:
- 9780511721151
- Subjects:
- Mathematics, Logic, Categories and Sets, Logic, Philosophy, Programming Languages and Applied Logic
- Series:
- Lecture Notes in Logic (29)