N. N. Nepeivoda, “The language <nobr>$\Delta$</nobr> with intuitionistic connectives”, Dokl. Akad. Nauk SSSR, 1975, Volume 220, Number 1,Pages <nobr>41

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1975 Volume 220, Number 1, Pages 41–43 (Mi dan38766)

MATHEMATICS

The language $\Delta$ with intuitionistic connectives

N. N. Nepeivoda

Udmurt State University, Izhevsk

UDC: 517.12:519.51

Presented: A. N. Kolmogorov
Received: 31.05.1974

Bibliographic databases: