Logika in množice

Poleg zapiskov in posnetkov s predavanj, priporočamo naslednjo študijsko literaturo, ki je na voljo tudi v matematični knjižnici.

Učbeniki v slovenščini:

• N. Prijatelj: Osnove matematične logike 1: Simbolizacija, DMFA – založništvo, Ljubljana 1992.
• N. Prijatelj: Matematične strukture I: Množice – relacije – funkcije, DMFA – založništvo, Ljubljana 1996.
• V. Batagelj, S. Klavžar: Diskretna matematika 1, Logika in množice (naloge), DMFA – Založništvo.

Učbeniki v angleščini:

• J. D. Hamkins: Proofs and the Art of Mathematics, MIT Press, 2020.
• E. Mendelson: Introduction to Mathematical Logic, CRC Press, Boca Raton, FL, 2015.
• P. R. Halmos: Naive set theory, Springer–Verlag, New York – Heidelberg 1974.
• A. Levy: Basic Set Theory, Dover, Mineola, NY, 2002.