Vol-211⫷ Vol-212 ⫸Vol-213
urn:nbn:de:0074-212-0


Vol-212/paper-5⫷Vol-212/paper-6⫸Vol-212/paper-7

Tableau Decision Procedure for Propositional Intuitionistic Logic