1.

図書

図書
Petr Hájek, Pavel Pudlák
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…
2.

図書

図書
Richard Kaye
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1991
シリーズ名: Oxford logic guides ; 15
Oxford science publications
所蔵情報: loading…