MATHEMATICS

The intuitionistic deducibility of certain realizable formulae of propositional logic

F. A. Kabakov

V. A. Steklov Mathematical Institute, USSR Academy of Sciences

UDC: 51.01:164

Presented: P. S. Novikov
Received: 27.10.1969

Bibliographic databases:

• 
•