Applied proof theory : proof interpretations and their use in mathematics
Author(s)
Bibliographic Information
Applied proof theory : proof interpretations and their use in mathematics
(Springer monographs in mathematics)
Springer, 2008
- : pbk.
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [507]-523) and index