Logic of proofs. (1994)

by Sergei Artemov
Venue:Annals of Pure and Applied Logic,