Email Address * *
Name
Subject *
Message * Articles On Model Theory, including First-order Logic, Gödel's Completeness Theorem, Original Proof Of Gödel's Completeness Theorem, Presburger Arithmetic, Soundness, Embedding, Gödel's Incompleteness Theorems, Compactness Theorem - 1243230800 - 9781243230805