![](https://assets-cambridge-org.ezproxyberklee.flo.org/97813167/55921/cover/9781316755921.jpg)
- Publisher:
- Cambridge University Press
- Online publication date:
- March 2017
- Print publication year:
- 2004
- Online ISBN:
- 9781316755921
- Subjects:
- Mathematics, Logic, Categories and Sets, Logic, Philosophy, Programming Languages and Applied Logic
- Series:
- Lecture Notes in Logic (17)