论文信息 - Topological syllogistic with continuous and closed functions - 字舞流文

Topological syllogistic with continuous and closed functions

Domenico Cantone | Eugenio G. Omodeo

[1] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .