상세검색
- Home
- 검색
- 상세검색
-
Marc 보기
MARC 닫기
-
LDR
01029nam 2200349 k 4500
-
001
000000664420
-
005
2051130121000
-
008
970219s1996 ulka 001 kor
-
020
▼a 893100270X
▼g 03170:
▼c \15,000 -
040
▼a 248023
▼c 248023 -
041
▼a kor
▼h eng -
049
▼l EM127093
-
082
▼a 160
▼2 19 -
090
▼a 160
▼b 불29ㄱ -
100
▼a 불로스, 조지 S.
-
245
▼a 계산가능성과 논리:
▼b 수리논리학 입문/
▼d 조지 불로스;
▼e 리차드 제프리 [공]지음;
▼e 김영정;
▼e 최훈;
▼e 강진호 [공]옮김. -
246
▼a Computability and logic
-
260
▼a 서울:
▼b 문예출판사,
▼c 1996. -
300
▼a xvii,379p.:
▼b 삽도;
▼c 23cm. -
490
▼a 哲學思想叢書.
-
500
▼a Boolos, George S.
-
500
▼a Jeffrey, Richard C.
-
504
▼a 권말에 찾아보기 수록
-
653
▼a 계산가능성
▼a 논리
▼a COMPUTABILITY
▼a LOGIC -
700
▼a 제프리, 리차드 C.,
▼e 공지음 -
700
▼a 김영정,
▼e 옮김 -
700
▼a 최훈,
▼e 공옮김 -
700
▼a 강진호,
▼e 공옮김 -
700
▼a Boolos, George S.
-
700
▼a Jeffrey, Richard C.
-
950
▼b \15000
-
965
▼a 논리학
-
991
▼a 단행본
-
090
▼a 160
▼b 불29ㄱ
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
계산가능성과 논리 : 수리논리학 입문
QR코드| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 893100270X |
| 분류기호 : | 160 |
| 개인저자 : | 불로스, 조지 S. |
| 서명/저자사항 : | 계산가능성과 논리: 수리논리학 입문/ 조지 불로스; 리차드 제프리 [공]지음; 김영정; 최훈; 강진호 [공]옮김. |
| 원서명 : | Computability and logic |
| 발행사항 : | 서울: 문예출판사, 1996. |
| 형태사항 : | xvii,379p.: 삽도; 23cm. |
| 총서사항 : | 哲學思想叢書. |
| 일반주기 : | Boolos, George S. |
| 일반주기 : | Jeffrey, Richard C. |
| 서지주기 : | 권말에 찾아보기 수록 |
| 개인저자 : | 제프리, 리차드 C., 공지음 |
| 개인저자 : | 김영정, 옮김 |
| 개인저자 : | 최훈, 공옮김 |
| 개인저자 : | 강진호, 공옮김 |
| 개인저자 : | Boolos, George S. |
| 개인저자 : | Jeffrey, Richard C. |
| 분류기호 : | 160 |
| 언어 | 한국어 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
서평쓰기