RT DW A1 Mackereth, Stephen Gary. T1 Logic, Arithmetic, and Definitions