On the derivability of instantiation properties
Friedman, HarveyVolume:
42
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2271871
Date:
December, 1977
File:
PDF, 654 KB
english, 1977