TY  - BOOK
AU  - à¦¬à¦¾à¦¬à§, à¦¸à§à¦²à¦¿à¦® 
TI  - à¦¸à§à¦à¦¤à¦¤à§à¦¤à§à¦¬ à¦ªà¦°à¦¿à¦à¦¯à¦¼
SN  - 9847000003294
U1  - 511.3 23
PY  - 0000///à§¨à§¦à§§à§®
CY  - à¦¢à¦¾à¦à¦¾
PB  - à¦à¦¾à¦¤à§à¦¯à¦¼ à¦¸à¦¾à¦¹à¦¿à¦¤à§à¦¯ à¦ªà§à¦°à¦à¦¾à¦¶
KW  - à¦¯à§à¦à§à¦¤à¦¿à¦¬à¦¿à¦¦à§à¦¯à¦¾, à¦ªà§à¦°à¦¤à§à¦à§ à¦à¦¬à¦ à¦à¦¾à¦£à¦¿à¦¤à¦¿à¦
KW  - Logic, Symbolic and mathematical
KW  - à¦¸à§à¦à¦¤à¦¤à§à¦¤à§à¦¬
KW  - Set theory
ER  -