Arithmetics, Proof Theory, and Computational Complexity /

Vydáno 1993

The seventeenth provers of the world /

Vydáno 2006

Lectures on the Curry-Howard isomorphism /

Autor Sørensen, Morten Heine B. 1968-, Urzyczyn, Pawel
Vydáno 2006

Applied proof theory : proof interpretations and their use in mathematics /

Autor Kohlenbach, Ulrich
Vydáno 2008