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

UDC: 517.11:(51.01+519.48)

Presented: A. N. Kolmogorov
Received: 16.04.1984

Bibliographic databases:

• 
•