Applied proof theory : proof interpretations and their use in mathematics /

other_versions_link
Библиографические подробности
Главный автор: Kohlenbach, U.
Формат: Printed Book
Опубликовано: Berlin : Springer, c2008.
Серии:Springer monographs in mathematics,
Предметы:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.

Схожие документы