.. _logic:

#####
Logic
#####

Welcome to Logic!

.. toctree::
   :caption: Table of Contents
   :maxdepth: 3
   :numbered: 1

   connectives
   predicates
   functions

******************
Indices and tables
******************

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`

.. _GithubRepo: https://github.com/phptailors/logic

.. <!--- vim: set syntax=rst spell: -->