NAIL062
- Přednáší: J.Mlček
- Cvičí: P. Surynek, M.Pilát (doporučuji!!)
- Mé výpisky ze cvičení: VyrPrdLog_cv
- Antonín Sochor: Klasická matematická logika
- Štěpánkova skripta: PDF
- Přepis Mlčkových cvičení od Martina Všetičky: PDF
This post is also available in: English