Login

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

Catalog