UPOL skripta (není tam vše?) zti.pdf

zápisky UPOL studentů 2012 z “formálů” https://github.com/honz4/fjaa-prednasky

http://kti.mff.cuni.cz/~bartak/automaty/index.html

http://www.wolframalpha.com/examples/LogicSetTheory.html