Электронный каталог -Kohlenbach, U. - Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Kohlenbach, U. - Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics

Kohlenbach, U. - Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics

Книга (аналит. описание)
Автор: Kohlenbach, U.
Т. 242: Математическая логика и алгебра.: Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)

Kohlenbach, U.
Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics / U. Kohlenbach, P. Oliva // Математический институт им. В.А.Стеклова. Труды . – М. : Наука, 1935. - Т. 242: Математическая логика и алгебра. / ред. С. И. Адян . – 2003 . – C. 147-175 .