Propositions as Rules, 2015
Propositions as Rules, 2015