RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1962
Volume 147,
Number 4,
Pages
783–786
(Mi dan27296)
MATHEMATICS
An analogue of Herbrand's theorem for the constructive predicate calculus
G. E. Mints
Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
Presented:
P. S. Novikov
Received: 12.06.1962
Fulltext:
PDF file (579 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (579 kB)