equal
deleted
inserted
replaced
40 Keith J. Devlin, Fundamentals of Contemporary Set Theory (Springer, 1979) |
40 Keith J. Devlin, Fundamentals of Contemporary Set Theory (Springer, 1979) |
41 |
41 |
42 Kenneth Kunen, Set Theory: An Introduction to Independence Proofs, |
42 Kenneth Kunen, Set Theory: An Introduction to Independence Proofs, |
43 (North-Holland, 1980) |
43 (North-Holland, 1980) |
44 *} |
44 *} |
|
45 sessions |
|
46 FOL |
45 theories |
47 theories |
46 ZF (global) |
48 ZF (global) |
47 ZFC (global) |
49 ZFC (global) |
48 document_files "root.tex" |
50 document_files "root.tex" |
49 |
51 |