Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.".

Jacques Riche, Robert K. Meyer

Browse the full CSL paper archive.