MATHEMATICS

The method of Skolem for the elimination of positive quantifiers in sequential calculi

G. E. Mints

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

UDC: 51.01:164

Presented: P. S. Novikov
Received: 07.10.1965

Bibliographic databases:

• 
•