000  $anz n  2
000  $a주제어
001  $aKSH2001016530
005  $a20021217000000
008  $a011031 n azknnaabn          |a a|a    | 
150  $a술어 논리[述語論理]
450  $a양화의 논리[量化--論理]
450  $a함수 논리[函數論理]
450  $wr$i독일어$aPraedikatenlogik
450  $wr$i영어$apredicate logic
550  $wg$a기호 논리학[記號論理學]
550  $a명제 논리[命題論理]
550  $a술어(동사)[述語]