共 18 条
[1]
FEFERMAN S, 1966, P INT C MATH MOSCOW
[2]
Feferman S., 1962, J SYMBOLIC LOGIC, V27, P383, DOI DOI 10.2307/2964544
[3]
FEFERMAN S, 1962, NOTICES AMER MATH SO, V9, P136
[4]
FEFERMAN S, 1965, FUND MATH, V16, P383
[5]
Gandy R. 0., 1960, B ACAD POLON SC SMAP, V8, P571
[6]
Gandy R.O., 1960, B AM MATH SOC, V66, P501
[7]
HARRISON J, 1966, THESIS STANFORD U
[8]
HARRISON J, 1965, NOTICES AMER MATH SO, V12, P806
[9]
HARRISON J, 1965, NOTICES AMER MATH SO, V13, P623
[10]
HARRISON J, 1965, NOTICES AMER MATH SO, V12, P604