The basic intuitionistic logic of proofs (0)

by S Artemov, R Iemhoff
Venue:Journal of Symbolic Logic