共 4 条
[1]
BELLMAN R, 1964, RM4307PR RAND MEM
[2]
Birkhoff G, 1948, AM MATH SOC COLLOQ P, V25
[3]
Halmos Paul R, 1960, NAIVE SET THEORY
[4]
KLEENE SC, 1952, INTRO METAMATHEMATIC, P334