Robert Goldblatt

Quantifiers, propositions, and identity

2011

Lectures on the hyperreals

1998

Mathematics of modality

1993

Logics of Time and Computation

1992

Orthogonality and spacetime geometry

1987

Axiomatising the logic of computer programming

1982

Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics)

1979