.. Discrete Mathematics: A Constructive Approach, created by
   sphinx-quickstart on Sat Jan 27 09:02:45 2018.
   You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive.

Discrete Mathematics: A Constructive Approach
==============================================

.. toctree::
   :numbered:
   :caption: Contents:
   :maxdepth: 2

   01-Introduction/Includes
   02-Logic/Includes
   03-Proofs/Includes
   04-Induction/Includes
   05-Informal-Proofs/Includes
   05-Sets/Includes
   06-Automata/Includes
   07-Languages/Includes
   08-Satisfiability/Includes
   99-Appendix-1-Setup.rst
   99-Appendix-2-Command-Line.rst
   999-Acknowledgements.rst

Indices and tables
==================

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