Applied proof theory : proof interpretations and their use in mathematics

Author(s)

    • Kohlenbach, U. (Ulrich)

Bibliographic Information

Applied proof theory : proof interpretations and their use in mathematics

U. Kohlenbach

(Springer monographs in mathematics)

Springer, 2008

  • : pbk.

Available at  / 1 libraries

Search this Book/Journal

Note

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

Related Books: 1-1 of 1

Details

Page Top