Books on Amazon
Laws / rules / logic / Wessel: Law = tautology, with operators
I 50 Rules: statements about formulas (formulas themselves do not appear as formulas, but as quotations) = equivalences. "Equivalence" is not an operator.
Law / Wessel: always logical form of implication - (x) (P (x) > Q (x) - although not all true implications are laws - when a law has the form of an implication it cannot be a statement of the form Q (a) where a is an individual constant._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Logik Berlin 1999