소장자료
LDR | 00758camka2200277 k 4500 | ||
001 | 0000290081▲ | ||
005 | 20180519174858▲ | ||
007 | ta▲ | ||
008 | 970219s1996 ulka 001 kor▲ | ||
020 | ▼a893100270X▼g03170▲ | ||
041 | 1 | ▼akor▼heng▲ | |
056 | ▼a174▼22▲ | ||
090 | ▼a174▼b불235ㄱ▲ | ||
100 | 1 | ▼aBoolos, George S.,▼d1940-1996▼052256▲ | |
245 | 1 | 0 | ▼a계산가능성과 논리 :▼c수리논리학 입문 /▼d조지 불로스 ;▼e리차드 제프리 [공]지음 ;▼e김영정 ;▼e최훈 ;▼e강진호 [공]옮김.▲ |
246 | 0 | 9 | ▼aComputability and logic▲ |
260 | ▼a서울 :▼b문예출판사,▼c1996.▲ | ||
300 | ▼axvii,379 p. :▼b삽도 ;▼c23 cm.▲ | ||
490 | 0 | 0 | ▼a哲學思想叢書▲ |
504 | ▼a색인수록▲ | ||
700 | 1 | ▼aJeffrey, Richard C.▼e공저▲ | |
700 | 1 | ▼a제프리, 리처드▲ | |
700 | 1 | ▼a김영정,▼e역▲ | |
700 | 1 | ▼a강진호,▼e공역▲ | |
700 | 1 | ▼a최훈,▼g崔勳,▼d1967-▼041974▲ | |
900 | 1 | ▼a불로스, 조지▲ |

계산가능성과 논리
자료유형
국내단행본
서명/책임사항
계산가능성과 논리 : 수리논리학 입문 / 조지 불로스 ; 리차드 제프리 [공]지음 ; 김영정 ; 최훈 ; 강진호 [공]옮김.
원서명
Computability and logic
개인저자
발행사항
서울 : 문예출판사 , 1996.
형태사항
xvii,379 p. : 삽도 ; 23 cm.
총서사항
서지주기
색인수록
ISBN
893100270X
청구기호
174 불235ㄱ
저자의 다른
저작물보기
저작물보기
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서