TY  - BOOK
AU  - à¦°à¦¾à¦¯à¦¼, à¦à¦¨à§à¦¦à§à¦° à¦à§à¦®à¦¾à¦°
TI  - à¦¬à¦¿à¦§à§à¦¯à¦¼ à¦¨à§à¦¯à¦¾à¦¯à¦¼ = ( Predicate Logic )
U1  - 160 23
PY  - 0000///à§§à§¯à§®à§¨
CY  - à¦à¦²à¦¿à¦à¦¾à¦¤à¦¾
PB  - à¦ªà¦¶à§à¦à¦¿à¦®à¦¬à¦à§à¦ à¦°à¦¾à¦à§à¦¯ à¦ªà§à¦¸à§à¦¤à¦ à¦ªà¦°à§à¦·à¦¦
KW  - à¦¯à§à¦à§à¦¤à¦¿
KW  - Logic
N1  - à¦à§à¦°à¦¨à§à¦¥à¦ªà¦à§à¦à¦¿ à¦ à¦ªà¦°à¦¿à¦­à¦¾à¦·à¦¾ à¦¸à¦à¦¯à§à¦à§à¦¤
ER  -