Independence-Friendly Logic door Merlijn Sevenster & Allen L. Mann