Logics of time and computation

Quantifiers, propositions, and identity

Lectures on the hyperreals

Orthogonality and spacetime geometry

Logics of Time and Computation

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

Topoi