pylogic.theories package
========================

Submodules
----------

pylogic.theories.integers module
--------------------------------

.. automodule:: pylogic.theories.integers
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.theories.natural\_numbers module
----------------------------------------

.. automodule:: pylogic.theories.natural_numbers
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.theories.numbers module
-------------------------------

.. automodule:: pylogic.theories.numbers
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.theories.rational\_numbers module
-----------------------------------------

.. automodule:: pylogic.theories.rational_numbers
   :members:
   :show-inheritance:
   :undoc-members:

pylogic.theories.real\_numbers module
-------------------------------------

.. automodule:: pylogic.theories.real_numbers
   :members:
   :show-inheritance:
   :undoc-members:

Module contents
---------------

.. automodule:: pylogic.theories
   :members:
   :show-inheritance:
   :undoc-members: