000  $anz n  2
000  $a주제어
001  $aKSH1998029061
005  $a19990512150742
008  $a980429 n azknnaabn          |a a|a    | 
150  $a명제 계산[命題計算]
550  $wg$a초수학[超數學]
550  $a명제 연산[命題演算]
550  $a미적분법[微積分法]