Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic Michael Mendler OriginalPaper Pages: 5 - 37