共 19 条
[1]
Bergmann G., 1952, PORT MATH, V11, P169
[2]
Bialynicki-Birula A., 1957, B ACAD POLON SCI 150, V5, P615
[3]
BIALYNICKIBIRUL.A, 1957, B ACAD POL SCI, V5
[4]
BIRKHOFF G, 1948, AMER MATH SOC COLL P
[5]
BRIGNOLE D, TO APPEAR
[6]
CIGNOLI R, 1965, P JPN ACAD, V41, P676, DOI 10.3792/pja/1195522293
[7]
Kalman JA, 1958, T AM MATH SOC, V87, P485, DOI [10.1090/S0002-9947-1958-0095135-X, DOI 10.1090/S0002-9947-1958-0095135-X]
[8]
Kleene S., 1938, J SYMBOL LOGIC, V3, P150, DOI DOI 10.2307/2267778
[9]
KLEENE SC, 1952, INTRODUCTION METAMAT
[10]
Lukasiewicz J., 1920, RUCH FILOZOFICZNY, V5, P170