A. S. Kuzichev, “Classes of objects having normal forms in the system of <nobr>$\lambda$</nobr>-conversion with logical operators”, Dokl. Akad. Nauk SSSR, 1979, Volume 249, Number 1,Pages <nobr>41

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1979 Volume 249, Number 1, Pages 41–45 (Mi dan43110)

MATHEMATICS

Classes of objects having normal forms in the system of $\lambda$-conversion with logical operators

A. S. Kuzichev

Lomonosov Moscow State University

UDC: 517.12

Presented: A. A. Dorodnitsyn
Received: 10.05.1979

Fulltext: PDF file (741 kB)

Bibliographic databases: