E.W. Beth Dissertation Prize. tr 2017, 11 (4).