Author: Ivánek, Jiří

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

Partner of