共 8 条
[1]
CHURCH A, 1956, INTRODUCTION MATHEMA, V1, P181
[2]
DACOSTA NCA, 1964, CR HEBD ACAD SCI, V258, P3144
[3]
DACOSTA NCA, 1964, CR HEBD ACAD SCI, V258, P1366
[4]
DACOSTA NCA, 1964, CR HEBD ACAD SCI, V258, P27
[5]
DACOSTA NCA, 1964, CR HEBD ACAD SCI, V258, P1111
[6]
DACOSTA NCA, 1964, COMPTES RENDUS, V257, P3790
[7]
HILBERT D, 1934, GRUNDLAGEN MATHEMATI, V1, P119
[8]
KLEENE SC, 1952, INTRODUCTION METAMAT, P177