Pavel Padlák (padlak)

Contributions to Philosophie.ch

Bibliography

Padlák, Pavel. 1998. “The Length of Proofs.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 547–637. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.