MATHEMATICS

Lower bounds for the lengths of deductions in arithmetic in terms of the complexity of the terms involved in the deductions

V. P. Orevkov

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

UDC: 510.64

Presented: A. P. Ershov
Received: 24.01.1986

Bibliographic databases:

• 
•