소장자료
| LDR | 00778namka2200313 c 4500 | ||
| 001 | 0092157086▲ | ||
| 005 | 20180519074731▲ | ||
| 007 | ta▲ | ||
| 008 | 130829s1996 ulka 001c kor▲ | ||
| 020 | ▼a893100270X▼g03170 :▼c₩15000▲ | ||
| 040 | ▼a221016▼c221016▲ | ||
| 041 | 1 | ▼akor▼heng▲ | |
| 082 | 0 | 0 | ▼a511.3▼221▲ |
| 090 | ▼a511.3▼bA4▲ | ||
| 100 | 1 | ▼aBoolos, George S.,▼d1940-1996▼052256▲ | |
| 245 | 1 | 0 | ▼a계산가능성과 논리 :▼b수리논리학 입문 /▼d조지 불로스,▼e리차드 제프리 [공]지음;▼e김영정,▼e최훈,▼e강진호 [공]옮김▲ |
| 246 | 1 | 9 | ▼aComputability and logic▲ |
| 260 | ▼a서울 :▼b문예출판사,▼c1996▲ | ||
| 300 | ▼axvii, 379 p. :▼b삽화 ;▼c23 cm▲ | ||
| 440 | 0 | 0 | ▼a哲學思想叢書▲ |
| 500 | ▼a색인수록▲ | ||
| 653 | ▼a계산가능성▼a논리▼a수리논리학▲ | ||
| 700 | 1 | ▼aJeffrey, Richard C.▲ | |
| 700 | 1 | ▼a김영정▲ | |
| 700 | 1 | ▼a강진호▲ | |
| 700 | 1 | ▼a최훈,▼g崔勳,▼d1967-▼041974▲ | |
| 900 | 1 | 1 | ▼a불로스, 조지▲ |
| 900 | 1 | 1 | ▼a제프리, 리처드▲ |
| 999 | ▼a이현진▲ |
계산가능성과 논리 :수리논리학 입문
자료유형
국내단행본
서명/책임사항
계산가능성과 논리 : 수리논리학 입문 / 조지 불로스 , 리차드 제프리 [공]지음 ; 김영정 , 최훈 , 강진호 [공]옮김
원서명
Computability and logic
개인저자
발행사항
서울 : 문예출판사 , 1996
형태사항
xvii, 379 p. : 삽화 ; 23 cm
총서사항
일반주기
색인수록
ISBN
893100270X
청구기호
511.3 A4
저자의 다른
저작물보기
저작물보기
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
| 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
|---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서