¼¸í: A Mathematical Introduction to Logic
ÀúÀÚ: Herbert B. Enderton
ÃâÆÇ»ç: Academic Press, Inc.
ÃâÆÇ¿¬µµ: 1972.
ISBN: 0-12-238450-4
ÀÌ Ã¥Àº ³í¸®ÇÐÀÇ ±âº»ÀûÀÎ ³»¿ëµéÀ» Àü°øÀÚ ¼öÁØ¿¡¼ ¸Å¿ì ¾ö¹ÐÇÏ°Ô ¼³¸íÇÏ°í Àִ åÀÌ´Ù.
³í¸®ÇÐ Àü°øÀÚ¶ó¸é ÀÌ Ã¥À» Àß µ¶ÆÄÇÒ °æ¿ì¿¡ ³í¸®ÇÐ Àü°øÀ» À§ÇÑ ±âº» Áö½ÄµéÀ» Æø³Ð°Ô ¾òÀ» ¼ö ÀÖ´Ù.
³ª(Æıúºñ)µµ ¼±¹èµéÀÇ ±ÇÀ¯¿¡ ÀÇÇؼ ÀÌ Ã¥À» Àб⠽ÃÀÛÇߴµ¥...
Çѹø ´Ù Àдµ¥ ÇÑ 3³â °É¸± °Å¶ó°í ¿¹»óÇØ¾ß ÇÑ´Ù. Ãʺ¸ÀÚ¶ó¸é ¸»ÀÌ´Ù.
´ë½Å¿¡ ³í¸®ÇÐÀ» Àü°øÇÏ´Â ÀåÁ¡ÀÌ ÀÖÀ¸´Ï±î ÀÌ°ÍÀ» ±â¾ïÇØ¾ß ÇÑ´Ù.
ÂüÁ¶: http://pakebi.com/cgis/bbs/view.php?id=pense&page=1&sn1=&divpage=1&sn=off&ss=on&sc=on&select_arrange=headnum&desc=asc&no=29
½±°Ô ¸»Çؼ ÀÌ Ã¥ ÇѱǸ¸ Àß ¶¼¸é ³í¸®ÇÐ Àü°øÀÇ ¹Ý ÀÌ»óÀº ±×³É ³Ñ¾î°£´Ù°í º¼ ¼ö ÀÖ´Ù.
´Ü,
¸Å¿ì ¾ö¹ÐÇÏ°Ô ¼¼úµÇ¾î ÀÖ¾î¼ Ãʺ¸ÀÚ°¡ º¸¸é ÀÌÇØÇϱ⠾î·Á¿î ºÎºÐµµ ¸¹ÀÌ ÀÖ´Ù.
ÀÌ »çÀÌÆ®¿¡¼ ³»°¡ ¼³¸íÇÏ´Â ³»¿ëµéÀ» Âü°íÇÏ¸é µµ¿òÀÌ µÇÁö ¾ÊÀ»±î?
|
|