Browse By Department
Springer Monographs in Mathematics Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Paperback)
Preface.- Introduction.- Unwinding of proofs (`Proof Mining ).- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.- Semi-intuitionistic...
$111.99 Free Delivery
