Investigations into the complexity of some propositional calculi (1990)

by Marcello D’Agostino