Вы находитесь на странице: 1из 1

Plan for Logic and Set Theory

Texts:
I.
II.
III.
IV.
V.

Elements of Set Theory (ET) - Herbert B. Enderton


A Modern Formal Logic Primer (MP) -Paul Teller
Mathematical Logic (ML) - Ian Chiswell & Wilfrid Hodges
A Friendly Introduction to Mathematical Logic (IML) - Christopher C. Leary
Beginning Model Theory: The Completeness Theorem and Some Consequences (BMT) Jane Bridge
VI. Model Theory (MT) - Maria Manzano
VII. An Introduction to Gdels Theorems (IGT) - Peter Smith
VIII. Computability and Logic (CL) - George Boolos, John Burgess & Richard Jeffrey
IX. Classic Set Theory (CT) - Derek Goldrei
X. Introduction to Set Theory (IST) - Karel Hrbacek & Thomas Jech
XI. Set Theory and Its Philosophy (STP) - Michael Potter
XII. Set Theory (ST) - Thomas Jech
XIII. Set Theory: An Introduction to Independence Proofs (SIP) - Kenneth Kunen
XIV. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (THI) - Akihiro
Kanamori
Procedure:
I. Introduction to set theory - ET
II. Introduction to logic - MP
III. First order logic I - ML
IV. First order logic II - IML (ch. 1-3.2)
V. Model theory I - BMT
VI. Model theory II - MT
VII. Computability and Gdelian incompleteness I - IGT
VIII. Computability and Gdelian incompleteness II - CL
IX. Set theory I - CT
X. Set theory II - IST
XI. Set theory III - STP
XII. Set theory IV - ST
XIII. Set theory V - SIP
XIV. Set theory VI - THI

Вам также может понравиться