Catalog
- Results include
-
Orthogonality and spacetime geometry
Goldblatt, RobertNew York : Springer-Verlag, c1987.Online SpringerLink
-
Topoi, the categorial analysis of logic
Goldblatt, RobertAmsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North Holland, 1979. -
Axiomatising the logic of computer programming
Goldblatt, RobertBerlin ; New York : Springer-Verlag, 1982.Online SpringerLink
Guides
Library website
Exhibits
EarthWorks
More search tools
Tools to help you discover resources at Stanford and beyond.