2017. E.W. Beth Dissertation Prize. The Reasoner. 11, 4 (Apr. 2017).