1.

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

図書
図書
2. Model-theoretic logics
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…