共 5 条
[1]
CARNAP R, CONTINUM INDUCTIVE M
[2]
GLUSHKOV VM, 1962, SINTEZ CIFROVYH AVTO
[3]
Grzegorczyk A., 1961, ZARYS LOGIKI MATEMAT
[4]
HAJEK P, TO APPEAR
[5]
Hajek P., 1966, KYBERNETIKA, V2, P31