2011年度：論理学特論

教科書

Moshé Machover. Set theory, logic and their limitations. Cambridge University Press. 1996.

Amazonより入手可能。

目次

0 Mathematical induction
1 Sets and classes
2 Relations and functions
3 Cardinals
4 Ordinals
5 The axiom of choice
6 Finite cardinals and alephs
7 Propositional logic
8 First-order logic
9 Facts from recursion theory
10 Limitative results
Appendix: Skolem's Paradox

講義メモ

これらのメモは適宜改訂しています．

• 数学的帰納法

参考

• Logicomix: An Epic Search for Truth by Apostolos Doxiadis and Christos H. Papadimitriou

Last modified: 2011-04-28 15:32:05 JST