close
1.

図書
図書
1. Set theory
George Tourlakis
出版情報: Cambridge : Cambridge University Press, 2003  xv, 575 p. ; 24 cm
シリーズ名: Cambridge studies in advanced mathematics ; 83 . Lectures in logic and set theory / George Tourlakis ; v. 2
所蔵情報: loading…
目次情報: 続きを見る
A bit of logic: a user+s toolbox / 1：
The set-theoretic universe, naively / 2：
The axioms of set theory / 3：
The axiom of choice / 4：
The natural numbers 1 transitive closure / 5：
Order / 6：
Cardinality / 7：
Forcing. / 8：
A bit of logic: a user+s toolbox / 1：
The set-theoretic universe, naively / 2：
The axioms of set theory / 3：
2.

図書
図書
2. Mathematical Logic
George Tourlakis
出版情報: Cambridge : Cambridge University Press, 2003  xi, 328 p. ; 24 cm
シリーズ名: Cambridge studies in advanced mathematics ; 82 . Lectures in logic and set theory / George Tourlakis ; v. 1
所蔵情報: loading…
目次情報:
Basic logic / 1：
The second incompleteness theorem. / 2：
Basic logic / 1：
The second incompleteness theorem. / 2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼