Arithmetical Necessity, Provability and Intuitionistic Logic (1978)

by R I Goldblatt
Venue:Theoria