Return to Issue Details ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics Download Download PDF