RUS
ENG
Full version
JOURNALS
// Algebra i logika
// Archive
Algebra i Logika. Sem.,
1966
Volume 5,
Number 2,
Pages
25–55
(Mi al1052)
Effective recognition of realizability of formulae of the restricted predicate calculus
Yu. Sh. Gurevich
Received: 10.02.1966
Fulltext:
PDF file (1050 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (1050 kB)