Email Address * *
Name
Subject *
Message * Proof Theory Mathematical Induction, Presburger Arithmetic, Godel's Completeness Theorem, Soundness, Natural Deduction, Original PR - 1230582630 - 9781230582634