Email Address * *
Name
Subject *
Message * Articles On Systems Of Formal Logic, including First-order Logic, Propositional Calculus, Type Theory, Predicate Logic, Intuitionistic Logic, Second-order Logic, Paraconsistent Logic, Higher-order Logic, Infinitary Logic - 1243239441 - 9781243239440