| LDR | | 00752nam ac200253 k 4500 |
| 001 | | 000000080396 |
| 005 | | 20140819044949 |
| 007 | | ta |
| 008 | | 980915s1996 ulka 001a kor |
| 020 | |
▼a 89-310-0270-X |
| 040 | |
▼a 247004 |
| 049 | |
▼l M0131204
▼l M0131205
▼l M0131206 |
| 056 | |
▼a 174 |
| 090 | |
▼a 174
▼b B724cㄱ |
| 245 | 01 |
▼a 계산가능성과 논리:
▼b 수리논리학 입문 -:
▼b 哲學思想叢書/
▼d 조지 불로스, 리차드 제프리 지음;
▼e 김영정, 최훈, 강진호 옮김. |
| 246 | 03 |
▼i 부표제:
▼a 수리논리학 입문/ |
| 246 | 03 |
▼a 哲學思想叢書 |
| 246 | 19 |
▼a Computability and Logic |
| 260 | |
▼a 서울:
▼b 文藝,
▼c 1996. |
| 300 | |
▼a 379 p.:
▼b 삽화;
▼c 23 cm. |
| 500 | |
▼a Boolos, George S., Jeffrey, Richard C. |
| 653 | |
▼a 수리논리학 |
| 700 | |
▼a 리차드 제프리 |
| 950 | |
▼b \15000 |