Bibliography: p143-144. _ Includes index.
Classical propositional operators : an exercise in the foundations of logic by Krister Segerberg. ISBN 0198531737. Published by Clarendon in 1982. Publication and catalogue information, links to buy online and reader comments.