Email Address * *
Name
Subject *
Message * Systems of formal logic First-order logic, Type theory, Propositional calculus, Predicate logic, Intuitionistic logic, Paraconsistent logic - 1156633524 - 9781156633526