Logic of proofs
completeness with respect to the arithmetical interpretation
scientific article; zbMATH DE number 584680
scientific article