Vol-2755⫷ Vol-2756 ⫸Vol-2757
urn:nbn:de:0074-2756-0


Vol-2756/paper26⫷Vol-2756/paper27⫸Vol-2756/paper28
Camillo FiorentiniMauro Ferrari 0002

Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic