close
1.

図書
図書
1. Boolean-valued models and independence proofs in set theory
by J.L. Bell
出版情報: Oxford : Clarendon Press, 1977  xviii, 126 p. ; 24 cm
シリーズ名: Oxford logic guides
所蔵情報: loading…
2.

図書
図書
2. A course in mathematical logic. 1st ed
by J.L. Bell and M. Machover
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977  xviii, 599 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Beginning Mathematical Logic / 1：
First-Order Logic / 2：
First-Order Logic (continued) / 3：
Boolean Algebras / 4：
Model Theory / 5：
Recursion Theory / 6：
Logic - Limitative Results / 7：
Recursion Theory (continued) / 8：
Intuitionistic First-Order Logic / 9：
Axiomatic Set Theory / 10：
Nonstandard Analysis / 11：
Bibliography
Beginning Mathematical Logic / 1：
First-Order Logic / 2：
First-Order Logic (continued) / 3：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼