共 9 条
[1]
ASSER G, 1961, Z MATH LOGIK GRUNDLA, V7, P20
[2]
Bohm C., 1962, REND ACC NAZ LINCEI, V32, P913
[3]
BOHM C, 1964, ICC B, V3, P187
[4]
CIAMPA S, 1961, APR ATT CONV NAZ LOG, P73
[6]
Hermes H., 1961, AUFZAHLBARKEIT ENTSC
[7]
Ianov Yu.I., 1957, DOKLADY AKAD NAUK SS, V113, P39
[8]
Peter R., 1958, DIALECTICA, V12, P373
[9]
Riguet J., 1962, P ICC S SYMB LANG DA, P83