RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1966 Volume 168, Number 3, Pages 510–511 (Mi dan32298)

MATHEMATICS

Solvability problem for a restricted predicate calculus

Yu. Sh. Gurevich

Krasnoyarsk State Pedagogical Institute

UDC: 517.11

Presented: A. I. Mal'tsev
Received: 28.10.1965



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024