N. N. Nepeivoda, “A relation between the natural deduction rules and operators of higher level algorithmic languages”, Dokl. Akad. Nauk SSSR, 1978, Volume 239, Number 3,Pages <nobr>526

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1978 Volume 239, Number 3, Pages 526–529 (Mi dan41602)

MATHEMATICS

A relation between the natural deduction rules and operators of higher level algorithmic languages

N. N. Nepeivoda

Udmurt State University, Izhevsk

Presented: A. N. Kolmogorov
Received: 03.11.1977

Fulltext: PDF file (477 kB)

Bibliographic databases: