A. S. Kuzichev, “Arithmetically consistent <nobr>$\lambda$</nobr>-theories”, Dokl. Akad. Nauk SSSR, 1982, Volume 262, Number 4,Pages <nobr>795

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1982 Volume 262, Number 4, Pages 795–799 (Mi dan45035)

MATHEMATICS

Arithmetically consistent $\lambda$-theories

A. S. Kuzichev

Lomonosov Moscow State University

UDC: 517.12

Presented: A. N. Kolmogorov
Received: 19.06.1981

Bibliographic databases: