Applied proof theory : proof interpretations and their use in mathematics

Applied proof theory : proof interpretations and their use in mathematics

U. Kohlenbach

Berlin : Springer, c2008

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410-Ko27

10009020800

一般図書

詳細情報

刊年

2008

形態

xix, 532 p. ; 25 cm

シリーズ名

Springer monographs in mathematics

注記

Includes bibliographical references and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Kohlenbach, Ulrich

件名

Proof theory

Approximation theory

Nonlinear operators

Automatic theorem proving

ISBN

9783540775324

NCID

BA86482066

番号

LCCN : 2008920614