A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Hájek, Petr, Bibliography of the Prague Seminar on Foundations of Set Theory -- Part II (1973) |
| Hájek, Petr, Lectures in the Theory of Semisets ; Theses on Semisets (1973) |
| Hájek, Petr, On Generalized Credence Functions (1973) |
| Hájek, Petr, Why Semisets? (1973) |
| Hájek, Petr, Automatic Listing of Important Observational Statements III (1974) |
| Hájek, Petr, Generalized Quantifiers and Finite Sets (1975) |
| Hájek, Petr, K NEDOŽITÝM ŠEDESÁTINÁM LADISLAVA RIEGRA (1976) |
| Hájek, Petr, Observationsfunktorenkalküle und die Logik der automatisierten Forschung (1976) |
| Hájek, Petr ; Havránek, Tomáš, On Generation of Inductive Hypotheses (1977) |
| Hájek, Petr ; Havránek, Tomáš, The GUHA Method--Its Aims and Techniques (Twenty-Four Questions and Answers) (1978) |