Deductive forms : an elementary logic - NEIDORF, Robert