02C99
- : The observational predicate calculus and complexity of computations (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 395-398
- : The Heyting doctrines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 4, pp. 643-657
Search
Partner of
