共 18 条
[2]
Birkhoff G, 1973, AM MATH SOC COLLOQ P
[3]
FOSTER AL, 1944, DUKE MATH J, V11, P603
[4]
Heyting A, 1930, SITZBER PREUSS AKAD, P42
[6]
LINDENBAUM A, 1934, ERGEBNISSE MATH K FA, P15
[7]
MacNeille HM, 1937, T AM MATH SOC, V42, P416
[9]
SKOLEM T, 1919, SKRIFTER UTGIT V MND