MATHEMATICS

A criterion for functional completeness in the intuitionistic propositional logic

M. F. Raţă

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

UDC: 517.11: (51.01+519.95)

Presented: P. S. Novikov
Received: 13.05.1971

Bibliographic databases:

• 
•