1.

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

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