Bibliografía (10 obras)
Quantifiers, propositions, and identity
2011
Lectures on the hyperreals
1998
Mathematics of modality
1993
Logics of Time and Computation
1992
Logics of time and computation
1987
Orthogonality and spacetime geometry
Caveat emptor
1983
Axiomatising the logic of computer programming
1982
Topoi
1979
Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics)
