|
MATHEMATICS
Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
A. U. Muravitskii Mathematics Institute, Computer Center, Academy of Sciences of the Moldavian SSR, Kishinev
Citation:
A. U. Muravitskii, “Correspondence of proof-intuitionistic logic extensions to proof-logic extensions”, Dokl. Akad. Nauk SSSR, 281:4 (1985), 789–793
Linking options:
https://www.mathnet.ru/eng/dan46950 https://www.mathnet.ru/eng/dan/v281/i4/p789
|
Statistics & downloads: |
Abstract page: | 90 | Full-text PDF : | 37 |
|