著者典拠情報

著者標目形:
Feferman, Solomon
属性:
Personal
から見よ参照形:
Feferman, S. (Solomon)
注記:
His The number systems, 1964
Iterated inductive definitions and subsystems of analysis, 1981: CIP t.p. (Solomon Feferman) CIP data sheet (b. 12/13/28)
Extended logics and their model theory, c1984: CIP t.p. (S. Feferman)
著者典拠ID:
DA00049837


1.

図書

図書
Kurt Gödel ; edited by Solomon Feferman ... [et al.]
出版情報: New York ; Oxford ; Tokyo : Oxford University Press, 1986-2003
所蔵情報: loading…
2.

図書

図書
edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.]
出版情報: New York ; Tokyo : Springer-Verlag, c1985
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…