|
MATHEMATICS
Solvability problem for a restricted predicate calculus
Yu. Sh. Gurevich Krasnoyarsk State Pedagogical Institute
Citation:
Yu. Sh. Gurevich, “Solvability problem for a restricted predicate calculus”, Dokl. Akad. Nauk SSSR, 168:3 (1966), 510–511
Linking options:
https://www.mathnet.ru/eng/dan32298 https://www.mathnet.ru/eng/dan/v168/i3/p510
|
Statistics & downloads: |
Abstract page: | 111 | Full-text PDF : | 55 |
|