Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach.
E-book
Electronic resources
Record details
- ISBN: 9783540775331
- Physical Description: XX, 536 p. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.