|
Effective recognition of realizability of formulae of the
restricted predicate calculus
Yu. Sh. Gurevich
Received: 10.02.1966
Citation:
Yu. Sh. Gurevich, “Effective recognition of realizability of formulae of the
restricted predicate calculus”, Algebra i Logika. Sem., 5:2 (1966), 25–55
Linking options:
https://www.mathnet.ru/eng/al1052 https://www.mathnet.ru/eng/al/v5/i2/p25
|
Statistics & downloads: |
Abstract page: | 54 | Full-text PDF : | 24 |
|