V. N. Krivtsov, “Imbedding of the intuitionistic theory of types into the negationless intuitionistic theory of types”, Dokl. Akad. Nauk SSSR, 1984, Volume 277, Number 3,Pages <nobr>529

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1984 Volume 277, Number 3, Pages 529–533 (Mi dan9535)

MATHEMATICS

Imbedding of the intuitionistic theory of types into the negationless intuitionistic theory of types

V. N. Krivtsov

Lomonosov Moscow State University

UDC: 517.12

Presented: A. N. Kolmogorov
Received: 20.09.1983

Fulltext: PDF file (558 kB)

Bibliographic databases: