A. S. Kuzichev, “A <nobr>$\lambda$</nobr>-conversion system with a deductive operator of formal implication”, Dokl. Akad. Nauk SSSR, 1973, Volume 212, Number 6,Pages <nobr>1290

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1973 Volume 212, Number 6, Pages 1290–1292 (Mi dan50529)

MATHEMATICS

A $\lambda$-conversion system with a deductive operator of formal implication

A. S. Kuzichev

Lomonosov Moscow State University

UDC: 510.1:517.12

Presented: A. A. Dorodnitsyn
Received: 19.02.1973

Fulltext: PDF file (315 kB)

Bibliographic databases: