Logic and Proof
===============

.. toctree::
    :numbered:
    :maxdepth: 2

    introduction
    propositional_logic
    natural_deduction_for_propositional_logic
    propositional_logic_in_lean
    classical_reasoning
    semantics_of_propositional_logic
    first_order_logic
    natural_deduction_for_first_order_logic
    first_order_logic_in_lean
    semantics_of_first_order_logic
    sets
    sets_in_lean
    relations
    relations_in_lean
    functions
    functions_in_lean
    the_natural_numbers_and_induction
    the_natural_numbers_and_induction_in_lean
    elementary_number_theory
    combinatorics
    the_real_numbers
    the_infinite
    axiomatic_foundations
    nd_quickref
..  elementary_number_theory_in_lean
    combinatorics_in_lean
    probability
    probability_in_lean
    algebraic_structures
    algebraic_structures_in_lean
    real_numbers_and_analysis_in_lean
    the_infinite_in_lean

.. Indices and tables
   ==================
   * :ref:`genindex`
   * :ref:`modindex`
   * :ref:`search`