Výroková a predikátová logika 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