共 13 条
[11]
Kock A., 1981, LONDON MATH SOC LECT, V51
[12]
PUTNAM H, 1969, BOSTON STUDIES PHILO, V5
[13]
RASIOWA H, 1963, MATH METAMATHEMATICS