MATHEMATICS

Herbrand's theorem for calculus of predicates with equality and functional symbols

G. E. Mints

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

UDC: 51.07:164

Presented: P. S. Novikov
Received: 07.10.1965

Bibliographic databases:

• 
•