共 11 条
[1]
CHURCH A, 1956, INTORDUCTION MATHEMA
[2]
COPI IM, 1965, SYMBOLIC LOGIC
[3]
Curry H.B., 1958, COMBINATORY LOGIC
[4]
DICKOFF J, 1968, NURS RES, V17, P197
[5]
DICKOFF J, 1964, SYMBOLIC LOGIC SYSTE
[6]
DICKOFF J, 1965, SYMBOLIC LOGIC LANGU
[7]
Fitch F., 1952, SYMBOLIC LOGIC INTRO
[8]
FRAENKEL A, 1953, ABSTRACT SET THEORY
[9]
KLEENE S, 1967, INTRODUCTION METAMAT
[10]
Quine W.V., 1959, METHODS LOGIC