#####
Logic
#####

.. include:: 00-Introduction.rst
.. include:: 01-Terms.rst
.. include:: 02-Types.rst
.. include:: 03-Functions.rst
.. include:: 04-Propositions.rst
.. include:: 05-Predicates.rst