TY - GEN AU - KOR TI - Logic and algorithms PY - 1967/// CY - PB - Wiley ER -