Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.
Suitable for researchers and students in physics, mathematics, and engineering, this book contains a systematic presentation of a general... Læs mere
Translation of: Teoremy konechnosti dleiia predelnykh etisiklov.
Suitable for researchers and students concerned with questions in analysis and function theory, this book provides an exposition of the main results obtained in the theory of mappings with bounded distortion, an active direction in contemporary mathematics.
Contains an exposition of the geometric theory of stability of elastic shells, starting from the basic facts of the theory of finite and infinitesimal... Læs mere
Concerns with certain classes of nonlinear problems for elliptic systems of partial differential equations: boundary-value... Læs mere
Explains mathematical questions of gas dynamics. This book covers such topics as Foundations of the Theory of Systems of... Læs mere