Limity formálních systémů, důkazů a výpočtů
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Limity formálních systémů, důkazů a výpočtů
Previous
Next