Proof nets for intuitionistic logic (2006)

by Matthias Horbach
Venue:Master’s thesis, Universität des Saarlandes