Logic module
================

.. toctree::
   :maxdepth: 1
   :caption: Contents

   logic/terms