00000nz  a2200000n  4500
001  KSH1998000735
005  19991005225717
008  980429 n azknn|abn          |a a|a    | 
150  ▼a계산 이론[計算理論]▲
550  ▼wh▼a알고리즘 이론[--理論]▲
550  ▼wh▼a오토마타 이론[--理論]▲
550  ▼wh▼a프로그램 이론[--理論]▲
550  ▼wh▼a형식 논리[形式論理]▲
550  ▼a컴퓨터[computer]▲