We'll have to download various files throughout the course.

  1. The Araucaria Material for Tree Diagrams is here. BUT df you don't like the idea of using Araucaria then you can draw the arguments up by hand OR use another program like Paint or Word. In this latter case, here's what you'll need in any case..

    For doing things with Word, by hand etc., you'll need the equivalent of the Scheme's what they contain.
    If you choose to use Araucaria, then you can also use the folloing:
    1_1.scm      2_1.scm     3_2.scm

  2. The Logic Font (just double click and install OR drag this file into your Fonts folder)