Email Address * *
Name
Subject *
Message * Formal semantics Model theory, Programming language semantics, First-order logic, Presburger arithmetic, Gödel's completeness theorem - 1233281194 - 9781233281190