• DML-CZ Home

03B10 Classical first-order logic (5 articles)

• Hájek, Petr: Ještě o elementární logice. (Czech) [Once more on elementary logic]. Pokroky matematiky, fyziky a astronomie, vol. 43 (1998), issue 4, pp. 324-325
• Korec, Ivan: Definability of arithmetical operations from binary quadratic forms. (English). Acta Mathematica et Informatica Universitatis Ostraviensis, vol. 6 (1998), issue 1, pp. 135-144
• Fiala, Jiří: Je elementární logika totéž co predikátová logika prvního řádu?. (Czech) [Is elementary logic the same as predicate logic of the first order?]. Pokroky matematiky, fyziky a astronomie, vol. 42 (1997), issue 3, pp. 127-133
• 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
• Pudlák, Pavel: The observational predicate calculus and complexity of computations (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 395-398