Email Address * *
Name
Subject *
Message * Proof theory Mathematical induction, Presburger arithmetic, Gödel's completeness theorem, Soundness, Natural deduction - 1156574587 - 9781156574584