L. P. Lisovik, “Construction of decidable monadic theories of two successor functions with an additional predicate”, Algebra Logika, 1984, Volume 23, Number 3,Pages <nobr>266

JOURNALS // Algebra i logika // Archive

Algebra Logika, 1984 Volume 23, Number 3, Pages 266–277 (Mi al1860)

Construction of decidable monadic theories of two successor functions with an additional predicate

L. P. Lisovik

UDC: 519.9

Received: 15.11.1983

Fulltext: PDF file (4817 kB)

Bibliographic databases: