TY - GEN AU - Yasuhara,A. TI - Recursive functional theory and logic PY - 1971/// CY - New York PB - Academic Press KW - Functiona Theory KW - Logic ER -