共 6 条
- [1] CHURCH A, 1944, INTRO MATH LOGIC 1, P3
- [2] HARTREE DR, 1949, CALCULATING INSTRUME, P97
- [3] KLEENE SC, 1943, T AMS, V53, P42
- [4] McCulloch Warren S., 1943, BULL MATH BIOPHYS, V5, P115, DOI 10.1007/BF02459570
- [5] Shannon Claude E, 1938, SYMBOLIC ANAL RELAY, V57, P713, DOI [10.1109/EE.1938.6431064, DOI 10.1109/EE.1938.6431064]