|
Construction of decidable monadic theories of two successor
functions with an additional predicate
L. P. Lisovik
Received: 15.11.1983
Citation:
L. P. Lisovik, “Construction of decidable monadic theories of two successor
functions with an additional predicate”, Algebra Logika, 23:3 (1984), 266–277
Linking options:
https://www.mathnet.ru/eng/al1860 https://www.mathnet.ru/eng/al/v23/i3/p266
|
Statistics & downloads: |
Abstract page: | 58 | Full-text PDF : | 17 |
|