Email Address * *
Name
Subject *
Message * Formal methods Turing machine, Set theory, Lambda calculus, Boolean satisfiability problem, Automated theorem proving - 1157701388 - 9781157701385