Leram - Logic: Form and Function: The Mechanization of Deductive Reasoning