MATHEMATICS

Certain reduction classes and solvable classes of sequents for the constructive calculus of predicates

V. P. Orevkov

Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences

Presented: P. S. Novikov
Received: 03.01.1965

Bibliographic databases:

• 
•