Third Logical Biennial, Summer school and conference in honour of S. C. Kleene, June 6-15, 1990, Varna, Bulgaria. Abstractsсборник
Статьи, опубликованные в сборнике
-
-
1990
Undecidability in propositional logics: calculi, formulas, properties
-
Chagrov Alexander
-
в сборнике Third Logical Biennial, Summer school and conference in honour of S. C. Kleene, June 6-15, 1990, Varna, Bulgaria. Abstracts, место издания Sofia, Bulgaria, с. 14