Petr Hájek (matematik): Porovnání verzí

Přidány 4 bajty ,  před 5 lety
→‎Dílo (spoluautor): + link vopenka
(chybny odkaz)
(→‎Dílo (spoluautor): + link vopenka)
== 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.
Neregistrovaný uživatel