A. S. Kuzichev, “The theorem on the midsequent in the $\mathscr{A}$-system of $\lambda$-conversion”, Dokl. Akad. Nauk SSSR, 1978, Volume 243, Number 1,Pages 19

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1978 Volume 243, Number 1, Pages 19–21 (Mi dan42095)

MATHEMATICS

The theorem on the midsequent in the $\mathscr{A}$-system of $\lambda$-conversion

A. S. Kuzichev

Lomonosov Moscow State University

UDC: 517.12

Presented: A. A. Dorodnitsyn
Received: 15.06.1978

Fulltext: PDF file (464 kB)

Bibliographic databases: