|
|
KMA/TML
Set Theory and Logic
Guarantors: prof. RNDr. Tomáš Kaiser, DSc.
|
|
|
|
Course literature
KMA/TML
-IS/STAG
Extending
Enderton, Herbert B.,
A mathematical introduction to logic
, San Diego : Harcourt Academic Press
2001
Mendelson, Elliott,
Introduction to mathematical logic
, Boca Raton : Chapman & Hall
2001
Vopěnka P., Blažek J., Kussová B.,
Úvod do axiomatické teorie množin
, UK SPN Praha
1972
Recommended
Sochor, Antonín,
Klasická matematická logika
, Praha : Karolinum
2001
Štěpánek, Petr,
Predikátová logika
Balcar, Bohuslav; Štěpánek, Petr,
Teorie množin
, Praha : Academia
2001
|
|
| |
|
| |
