RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive
Dokl. Akad. Nauk SSSR, 1983 Volume 272, Number 1, Page 10 (Mi dan46267)
Correction: "Arithmetically consistent $\lambda $-theories of type-free logic"

A. S. Kuzichev




Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026