AN ABSTRACT FORM OF CHURCH-ROSSER THEOREM .1.

[1] Church A., 1941, ANN MATH STUD

[2] Curry H.B., 1958, COMBINATORY LOGIC

[3] CURRY HB, 1952, KONINKLIJKE NEDERL A, V55, P16

[4] On theories with a combinatorial definition of "equivalence" [J]. ANNALS OF MATHEMATICS, 1942, 43 : 223 - 243

[5] ROSSER JB, 1956, J SYMBOLIC LOGIC, V21, P377

[6] SCHROER DE, 1965, THESIS U ILLINOIS

[1] Church A., 1941, ANN MATH STUD

[2] Curry H.B., 1958, COMBINATORY LOGIC

[3] CURRY HB, 1952, KONINKLIJKE NEDERL A, V55, P16

[4] On theories with a combinatorial definition of "equivalence" [J]. ANNALS OF MATHEMATICS, 1942, 43 : 223 - 243

[5] ROSSER JB, 1956, J SYMBOLIC LOGIC, V21, P377

[6] SCHROER DE, 1965, THESIS U ILLINOIS