著者典拠情報

著者標目形：
Parikh, Rohit, 1936-
属性：
Personal
日付：
1936
から見よ参照形：
Parikh, R. (Rohit), 1936-
注記：
Logic of programs, c1985: CIP t.p. (Rohit Parikh) CIP t.p. verso (Dept. of Computer and Info. Sci., Brooklyn College, Brooklyn, N.Y.)
LC data base, 5/15/85 (hdg.: Parikh, Rohit, 1936- ; usage: R. Parikh)
著者典拠ID：
DA00406923


1.

図書
図書
1. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings (: gw ; : us)
edited by Rohit Parikh
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 193
所蔵情報: 図書館
2.

図書
図書
2. Logic Colloquium : symposium on logic held at Boston, 1972-73 (: Germany ; : U.S.)
edited by R. Parikh
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 453
所蔵情報: 図書館
updating availability status information…