Petr Hájek (matematik): Porovnání verzí
Smazaný obsah Přidaný obsah
m Bot: Odstranění 1 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q7178527) |
|||
Řádek 10:
== 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..
* Petr Hájek: ''Metamathematics of Fuzzy Logic''. Dordrecht: Kluwer 1998, 297 s..
== Literatura ==
| |||