A. S. Kuzichev, “Arithmetically consistent <nobr>$\lambda$</nobr>-theories of type-free logic”, Dokl. Akad. Nauk SSSR, 1983, Volume 268, Number 2,Pages <nobr>288

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1983 Volume 268, Number 2, Pages 288–292 (Mi dan45859)

MATHEMATICS

Arithmetically consistent $\lambda$-theories of type-free logic

A. S. Kuzichev

Lomonosov Moscow State University

UDC: 517.12

Presented: A. N. Kolmogorov
Received: 17.05.1982

Bibliographic databases: