共 8 条
[1]
Buchi J.R., 1962, P INT C LOGIC METHOD
[2]
BUCHI JR, 1960, Z MATH LOGIK GRUNDLA, V6, P66
[3]
BUCHI JR, 1964, P INT C LOGIC METHOD
[4]
EHRENFEUCHT A, 1957, B ACAD POLON SCI 3, V5, P35
[5]
Elgot C.C., 1961, T AM MATH SOC, V98, P21, DOI 10.2307/2270940
[6]
Feferman S., 1959, FUND MATH, V47, P57, DOI [10.4064/fm-47-1-57-103, DOI 10.4064/FM-47-1-57-103]
[7]
FEFERMAN S, 1960, RECENT WORK EHRENFEU, P201
[8]
MCNAUGHTON R, 1963, J SYMBOLIC LOGIC, V28, P100