This article is cited in 3 papers

MATHEMATICS

The proof-intuitionistic propositional calculus

A. V. Kuznetsov

Mathematics Institute, Computer Center, Academy of Sciences of the Moldavian SSR, Kishinev

UDC: 517.11:(51.01+519.48)

Presented: A. N. Kolmogorov
Received: 16.04.1984

Bibliographic databases:

• 
•