Proofs.
-Predictive Logic.
-Inductive Definitions.
-Languages.
-The Languages of Predicate Logic.
-Proofs.
-Examples of Theories.
-Variations on the Principle of the Excluded Middle.
-Models.
-The Notion of a Model.
-The Soundness Theorem.
-The Completeness Theorem.
-Other Applications of the Notion of Model.
-Algorithms.
-Computable Functions.
-Computable Functions.
-Computability over Lists and Trees.
-Eliminating Recursion.
-Programs.
-Computation as a Sequence of Small Steps.
-Proofs and Algorithms.
-Church's Theorem.
-Automated Theorem Proving.
-Sequent Calculus.
-Proof Search in the Sequent Calculus Without Cuts.
-Decidable theories.
-Constructivity.
-Epilogue.
-Index.
-Bibliography