V semináři SEDMA se
Pavel Truhlář, FF UK bude věnovat tématu
Hilbertův program Nemožnost axiomatizace matematiky.
This login is SSL protected