<style face="normal" font="default" size="100%">A completeness-proof method for extensions of the implicational fragment of the propositional calculus</style>

Drupal-Biblio