Тема, жанр, tags: Mathematics,Approximation theory,Automatic theorem proving,Nonlinear operators,Proof theory » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematics,Approximation theory,Automatic theorem proving,Nonlinear operators,Proof theory

book Applied Proof Theory: Proof Interpretations and their Use in Mathematics: Kohlenbach

Applied Proof Theory: Proof Interpretations and their Use in Mathematics: Kohlenbach

pdf

Author: Kohlenbach Ulrich
Language: English
Year: 2008

00

06.02.2024

0

0

book Sturm-Liouville Operators and Applications : Revised Edition

Sturm-Liouville Operators and Applications : Revised Edition

pdf

Author: Vladimir A. Marchenko
Language: English
Year: 2011

00

29.01.2024

0

0