On the relation provable equivalence and
β
Claudio Bernardi
π
Article
π
1981
π
Springer Netherlands
π
English
β 577 KB