Completeness of calculii for axiomatical
β
A. Selman
π
Article
π
1972
π
Springer
π
English
β 613 KB