0345652 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Pudlák, Pavel
Gödel and computations: a 100th anniversary retrospective.
ACM SIGACT News. Roč. 37, č. 4 (2006), s. 13-21. ISSN 0163-5700
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: computability * lengths of proofs * computational complexity
Kód oboru RIV: BA - Obecná matematika

Trvalý link: http://hdl.handle.net/11104/0186867