V. A. Yankov, “On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures”, Dokl. Akad. Nauk SSSR, 1963, Volume 151, Number 6,Pages <nobr>1293

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1963 Volume 151, Number 6, Pages 1293–1294 (Mi dan28461)

This article is cited in 12 papers

MATHEMATICS

On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures

V. A. Yankov

Lomonosov Moscow State University

Presented: P. S. Novikov
Received: 09.03.1963

Fulltext: PDF file (308 kB)
Cited by

Bibliographic databases: