推薦此記錄: Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.