Proofs and types - Girard, Jean Yves (Cambridge University Press, 1993)
1. izd. 1989