Applied proof theory : proof interpretations and their use in mathematics

著者

    • Kohlenbach, U. (Ulrich)

書誌事項

Applied proof theory : proof interpretations and their use in mathematics

U. Kohlenbach

(Springer monographs in mathematics)

Springer, c2010

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references (p. [507]-523) and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ