Email Address * *
Name
Subject *
Message * Model theory First-order logic, Presburger arithmetic, Gödel's completeness theorem, Soundness, Original proof of Gödel's completeness theorem - 1156538645 - 9781156538647