육군사관학교 학술정보원검색
- Home
- 기능목록
- 검색
-
Marc 보기
MARC 닫기
-
LDR
00000cam c2200205 c 4500
-
001
000001231208
-
005
20170228140952
-
007
ta
-
008
170220s2012 ulka b 001c kor
-
020
▼a 9788961055499
▼g 93410:
▼c \20000 -
035
▼a (KERIS)BIB000012717396
-
040
▼a 211047
▼c 211047
▼d 211047 -
100
▼a 정주희
-
245
▼a 수리논리와 집합론 입문/
▼d 정주희 지음. -
246
▼a Proofmood, a computer logic system
-
260
▼a 서울:
▼b 경문사,
▼c 2012. -
300
▼a ix, 300 p.:
▼b 삽화;
▼c 27 cm. -
440
▼a 수리논리 연구 시리즈;
▼v 1 -
440
▼a 대한수리논리학회 수리논리 연구 시리즈;
▼v 1 -
500
▼a 설명적 각주 수록
-
500
▼a 찾아보기: p. 284-300
-
504
▼a 참고문헌: p. 283
-
710
▼a 대한수리논리학회.
-
990
▼a 오연희
-
991
▼a 단행본
-
090
▼a 511.322
▼b 정77ㅅ
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
수리논리와 집합론 입문
QR코드| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 9788961055499 |
| 개인저자 : | 정주희 |
| 서명/저자사항 : | 수리논리와 집합론 입문/ 정주희 지음. |
| 대등표제 : | Proofmood, a computer logic system |
| 발행사항 : | 서울: 경문사, 2012. |
| 형태사항 : | ix, 300 p.: 삽화; 27 cm. |
| 총서사항 : | 수리논리 연구 시리즈; 1 |
| 총서사항 : | 대한수리논리학회 수리논리 연구 시리즈; 1 |
| 일반주기 : | 설명적 각주 수록 |
| 일반주기 : | 찾아보기: p. 284-300 |
| 서지주기 : | 참고문헌: p. 283 |
| 단체저자명 : | 대한수리논리학회. |
| 분류기호 : | 511.322 |
| 언어 | 한국어 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
서평쓰기