• DML-CZ Home

02G10 

• Ivánek, Jiří: The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 1, pp. 41-57
• Hájek, Petr: Automatic listing of important observational statements. III. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (95)-124
• Hájek, Petr: Automatic listing of important observational statements. I. (English). Kybernetika, vol. 9 (1973), issue 3, pp. (187)-205
• Hájek, Petr: Automatic listing of important observational statements. II. (English). Kybernetika, vol. 9 (1973), issue 4, pp. (251)-271