Classical propositional operators an exercise in the foundations of logic
Segerberg, Krister.
Oxford Clarendon
1982
Propositional calculus.