GEB -- meze formálních systémů
Týden 6
Přednášející
- Martin Jonáš a Eva Tesařová
Obsah semináře
- 10. a 11. kapitola GEB
Recepty a Abstrakty
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/50818268/abstract.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/49913222/recept-4.pdf