Robert Goldblatt

Identifiers

Open LibraryOL224731A

Top Subjects

Modality (Logic) (3)
Toposes (1)
Programming languages (Electronic computers) -- Semantics. (1)
Proof theory. (1)
Mathematics (1)
Study and teaching (Higher) (1)
Space and time. (1)

Books by Robert Goldblatt

Total count: 10

Topoi, the categorial analysis of logic (Studies in logic and the foundations of mathematics)

sole distributors for the U.S.A. and Canada, Elsevier North-Holland1979-01-01
Topoithe categorial analysis of logic

sole distributors for the U.S.A. and Canada, Elsevier North-Holland1979-01-01
Axiomatising the logic of computer programming

Springer-Verlag1982-01-01
Caveat emptoran inaugural address delivered on 16 March 1983

Victoria University Press1983-01-01
Logics of time and computation

Center for the Study of Language and Information1987-01-01
Orthogonality and spacetime geometry

Springer-Verlag1987-01-01
Logics of Time and Computation (Center for the Study of Language and Information - Lecture Notes)2 edition

Center for the Study of Language and Inf1992-09-01
Mathematics of modality

CSLI Publications1993-01-01
Lectures on the Hyperreals

Island Press1998-01-01
Quantifiers, Propositions and IdentityAdmissible Semantics for Quantified Modal and Substructural Logics

Cambridge University Press2011-01-01