propositional, predicate, relational, and natural language formats
Text of a lecture on Hegel, language and logic
Intro-To-Logic text focusing on Logical Form and the Method Of Counterexample