These—2013—seem to be what we will be using going forward. The Proof Widget The Reading a Counter Example from a Tree Widget The Semantics Widget The Symbolization Widget The Tree Widget The Lambda Widget The Modal Tree Widget The Modal Truth Table Widget Book traversal links for Javascript Widgets ‹ Main Index to Examples of Instructional Software for Symbolic Logic Up The Proof Widget ›