00000nz  a2200000n  4500
001  KSH2000027470
005  20000430085436
008  000430 n azknn|abn          |a a|a    | 
150  ▼a명제 함수[命題函數]▲
450  ▼wr▼i영어▼apropositional function▲
550  ▼wg▼a함수[函數]▲
550  ▼a명제(논리학)[命題]▲
550  ▼a수리 논리학[數理論理學]▲