Symbolic Logic

Intending to take his readers very much into his confidence: as he builds the theory, the author points out the alternative paths he might have taken, the alternative definitions he might have used, he shows what the implications of these alternatives are, and justifies his choice on the broadest possible grounds.