Jaakko Hintikka - A Revolution in the Foundations of Mathematics 1997
Knowledge representation
Appendix B_DAX Reference
9/17/2015Hilbertův kalkul1 Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu.
Logika a log. p rogramov ání Důkazové kalkuly, Kalkul Hilbertova typu (12. přednáška)
1/5/2016Hilbertův kalkul1 Lecture 12 Hilbert-like calculus.