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