著者典拠情報

著者標目形：
Goldblatt, Robert, 1949-
属性：
Personal
日付：
1949-
から見よ参照形：
Goldblatt, Rob
Goldblatt, R. I. (Robert Ian)
Goldblatt, Robert Ian
Goldblatt, R.
注記：
His Topoi ... 1979: CIP galley t.p. (Rob Goldblatt, Victoria U. of Wellington, N.Z.) book t.p. (Robert Goldblatt) pref. (R. I. Goldblatt)
His Axiomatising the logic of computer programming, 1982: CIP t.p. (Robert Goldblatt) CIP data sheet (Robert Ian Goldblatt, b. 4/21/49)
著者典拠ID：
DA01191414


1.

図書
図書
1. Lectures on the hyperreals : an introduction to nonstandard analysis
Robert Goldblatt
出版情報: New York : Springer, c1998
シリーズ名: Graduate texts in mathematics ; 188
所蔵情報: 研究室
2.

図書
図書
2. Mathematics of modality (: pbk)
Robert Goldblatt
出版情報: Stanford, Calif. : CSLI Publications, c1993
シリーズ名: CSLI lecture notes ; no. 43
所蔵情報: 図書館
3.

図書
図書
3. Logics of time and computation. 2nd ed., rev. and expanded (: pbk)
Robert Goldblatt
出版情報: Stanford, CA : Center for the Study of Language and Information, c1992
シリーズ名: CSLI lecture notes ; no. 7
所蔵情報: 図書館
4.

図書
図書
4. Orthogonality and spacetime geometry (: us ; : gw)
Robert Goldblatt
出版情報: New York ; Tokyo : Springer-Verlag, c1987
シリーズ名: Universitext
所蔵情報: 図書館
5.

図書
図書
5. Topoi : the categorial analysis of logic. Rev. ed
Robert Goldblatt
出版情報: Amsterdam : North-Holland, 1984
シリーズ名: Studies in logic and the foundations of mathematics ; v. 98
所蔵情報: 図書館
6.

図書
図書
6. Axiomatising the logic of computer programming (: gw ; : us)
Robert Goldblatt
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 130
所蔵情報: 図書館
7.

図書
図書
7. Topoi : the categorial analysis of logic
Robert Goldblatt
出版情報: Amsterdam ; New York : North-Holland Pub. Co , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979
シリーズ名: Studies in logic and the foundations of mathematics ; v. 98
所蔵情報: 図書館