A. S. Kuzichev, “A system of <nobr>$\lambda$</nobr>-conversion with logical operators and an equality operator”, Dokl. Akad. Nauk SSSR, 1977, Volume 236, Number 4,Pages <nobr>796

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1977 Volume 236, Number 4, Pages 796–799 (Mi dan41253)

MATHEMATICS

A system of $\lambda$-conversion with logical operators and an equality operator

A. S. Kuzichev

Lomonosov Moscow State University

UDC: 517.12

Presented: A. A. Dorodnitsyn
Received: 01.06.1977

Fulltext: PDF file (447 kB)

Bibliographic databases: