|
A zero-one law for many-sorted first-order predicate logic
V. V. Knyazev
Received: 21.11.1989
Citation:
V. V. Knyazev, “A zero-one law for many-sorted first-order predicate logic”, Diskr. Mat., 2:3 (1990), 97–101; Discrete Math. Appl., 2:2 (1992), 219–223
Linking options:
https://www.mathnet.ru/eng/dm872 https://www.mathnet.ru/eng/dm/v2/i3/p97
|
Statistics & downloads: |
Abstract page: | 333 | Full-text PDF : | 170 | First page: | 1 |
|