This article is cited in 1 paper

MATHEMATICS

On predicate and arithmetic calculi of symmetric constructive logic

I. D. Zaslavsky

Computing Center of the Academy of Sciences of the Armenian Soviet Socialist Republic Yerevan State University

UDC: 517.11

Presented: A. A. Dorodnitsyn
Received: 11.07.1972

Bibliographic databases:

• 
•