**Type of document:** Article

**Language:** English

**Author(s):** NĂ©meti, I.

**Title:** The Equational Theory of Monadic-Generated Cylindric Algebras, Hence the Set of Valid Formula Schemes of Monadic Logic, is Not Recursively Enumerable

**Year:** 1895

**Source:** Mathematical Institute of the Hungarian Academy of Sciences

**Pages:** 1-21

**Comments:** Part I