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

m
→‎Dílo (spoluautor): typo, zdvojena tecka (za zkratkou a za koncem vety)
m (→‎Dílo (spoluautor): typo, zdvojena tecka (za zkratkou a za koncem vety))
 
== 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 ==