共 5 条
[1]
[Anonymous], 1951, J SYMBOLIC LOGIC, V16-18, P161
[2]
MONTAGUE, 1959, FUNDAMENTA MATHEMATI, V47, P219
[3]
MOSTOWSKI, 1956, B ACADEMIE POLONAISE, V4, P663
[4]
SHEPHERDSON, 1953, J SYMBOLIC LOGIC, V18, P145
[5]
SHEPHERDSON, 1952, J SYMBOLIC LOGIC, V17, P225