Introduction to Formal Reasoning (COMP2065)
==============================

.. toctree::
    :numbered:
    :maxdepth: 2

    introduction
    propositional_logic
    classical_logic
    predicate_logic
    the_booleans
    the_natural_numbers
    lists
    trees
    goedel

.. Indices and tables
   ==================
   * :ref:`genindex`
   * :ref:`modindex`
   * :ref:`search`