This is the companion volume to the book described above. Volume II contains supplementary material for Chapters 3 through 12 in Volume I. These supplements contain various formal, logical, or mathematical arguments in support of assertions made in the chapters in Volume I.
91584789