Module logic
============

.. toctree::
   :maxdepth: 2

.. automodule:: lambda_calculus.terms.logic
    :members: