Arithmetical necessity, provability and intuitionistic logic (0)

by R Goldblatt