An introduction to proof theory : normalization, cut-elimination, and consistency proofs
Author(s)
Bibliographic Information
An introduction to proof theory : normalization, cut-elimination, and consistency proofs
Oxford University Press, 2021
- : pbk
Available at / 8 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 405-411) and index
