Petr Hájek (matematik): Porovnání verzí
Smazaný obsah Přidaný obsah
chybny odkaz značka: editace z Vizuálního editoru |
→Dílo (spoluautor): + link vopenka značka: editace z Vizuálního editoru |
||
Řádek 14:
== Dílo (spoluautor) ==
* Petr Hájek, Pavel Kalášek, Petr Kůrka: ''O dynamické logice''. Praha : Academia, 1960, 42 s.
* [[Petr Vopěnka]], Petr Hájek: ''The Theory of Semisets''. Praha : Academia, 1972 [Z češ. do angl. přel. T. Jech a G. Rousseau].
* Petr Hájek, Tomáš Havránek, Metoděj K. Chytil: ''Metoda GUHA : automatická tvorba hypotéz''. Praha : Academia, 1983.
* Petr Hájek, Pavel Pudlák: ''Metamathematics of First-Order Arithmetic''. Berlin : Springer, 1993, 460 s.
| |||