불로스, 조지 S.
QRcode
자료유형 | 도서 |
---|---|
서명/저자사항 | 계산가능성과 논리: 수리논리학 입문/ 조지 불로스; 리차드 제프리 [공]지음; 김영정; 최훈; 강진호 [공]옮김. |
개인저자 | 불로스, 조지 S.,공저 제프리, 리차드 C.,공저 김영정,공역 최훈,공역 강진호,공역 Boolos, George S. Jeffrey, Richard C. |
발행사항 | 서울: 문예, 1996. |
형태사항 | xvii, 379p.: 삽화; 23cm. |
총서사항 | 哲學思想叢書 |
원서명 | Computability and logic |
가격정보 | \15000 |
ISBN | 893100270X |
서지주기 | 색인 수록 |
비통제주제어 | 계산,논리,COMPUTABILITY,LOGIC |
분류기호 | 174 |
언어 | 한국어 |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가