RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive
Dokl. Akad. Nauk SSSR, 1962 Volume 147, Number 5, Pages 1029–1031 (Mi dan27334)
MATHEMATICS

Two variants of the classical predicate calculus without structural inference rules

V. A. Matulis

Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences

Presented: P. S. Novikov
Received: 12.06.1962



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024