000  $anz n  2
000  $a주제어
001  $aKSH1998000737
005  $a19991005225748
008  $a980429 n azknnaabn          |a a|a    | 
150  $a형식 논리[形式論理]
450  $wr$i일본어$a形式 論理(keishiki ronri)
550  $wg$a계산 이론[計算理論]
550  $wh$a결정 가능성[決定可能性]
550  $wh$a계산 가능성[計算可能性]
550  $wh$a다수결 논리[多數決論理]
550  $wh$a다치 논리
550  $wh$a시간 논리[時間論理]
550  $wh$a임계 논리[臨界論理]
550  $wh$a재기록 시스템
550  $wh$a퍼지 논리[--論理]
550  $wh$a확률 논리[確率論理]
550  $a동일률[同一律]
550  $a불 함수[--函數]
550  $a순환 함수[循環函數]
550  $a형식 논리학[形式論理學]
550  $a형식[形式]