共 10 条
[1]
[Anonymous], 1980, BEING BECOMING
[2]
[Anonymous], 1993, ORIGINS ORDER
[3]
Bar Hillel Y, 1950, 247 MIT
[4]
Carsetti A, 2000, NUOVA CRITICA, V36, P47
[5]
Henkin Leon, 1950, J. Symb. Log., V15, P81, DOI [10.2307/2266967, DOI 10.2307/2266967]
[6]
Hintikka Jaakko, 1970, INF INFERENCE, P298
[7]
Kolmogorov N., 1968, IEEE T IT, V14, P662
[8]
Nicolis G., 1989, Exploring complexity: An introduction
[9]
Scott D. S., 1980, HB CURRY ESSAYS COMB, P403
[10]
Turing AM, 1937, P LOND MATH SOC, V42, P230, DOI 10.1112/plms/s2-42.1.230