|
This article is cited in 3 scientific papers (total in 3 papers)
MATHEMATICS
Languages with constructive logical connectives
V. E. Plisko Lomonosov Moscow State University
Citation:
V. E. Plisko, “Languages with constructive logical connectives”, Dokl. Akad. Nauk SSSR, 296:1 (1987), 35–38; Dokl. Math., 36:2 (1988), 236–239
Linking options:
https://www.mathnet.ru/eng/dan7994 https://www.mathnet.ru/eng/dan/v296/i1/p35
|
Statistics & downloads: |
Abstract page: | 86 | Full-text PDF : | 20 |
|