Email Address * *
Name
Subject *
Message * Logic in Computer Science Peano Axioms, Boolean Satisfiability Problem, Presburger Arithmetic, Fuzzy Logic, Denotational Semantics, Combinationa - 1230576800 - 9781230576800