| 000 | 00936camuuu200277 a 4500 | |
| 001 | 000000109467 | |
| 005 | 19980526112342.0 | |
| 008 | 900206s1990 enka b 001 0 eng | |
| 010 | ▼a 90032374 | |
| 015 | ▼a GB90-18596 | |
| 020 | ▼a 0201416433 | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | 1 | ▼l 421109198 ▼f 과개 |
| 050 | 0 0 | ▼a QA9 ▼b .R34 1990 |
| 082 | 0 0 | ▼a 004/.01/5113 ▼2 20 |
| 090 | ▼a 004.015113 ▼b R332L | |
| 100 | 1 | ▼a Reeves, Steve, ▼d 1957- |
| 245 | 1 0 | ▼a Logic for computer science / ▼c Steve Reeves, Michael Clarke. |
| 260 | ▼a Wokingham, England ; ▼a Reading, Mass. : ▼b Addison-Wesley, ▼c 1990. | |
| 300 | ▼a xi, 260 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a International computer science series. |
| 504 | ▼a Includes bibliographical references (p. 255-256) and index. | |
| 650 | 0 | ▼a Logic, Symbolic and mathematical. |
| 653 | ▼a Computer systems ▼a Programming ▼a Applications of mathematical logic | |
| 700 | 1 0 | ▼a Clarke, Michael, ▼d 1940-. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 004.015113 R332L | 등록번호 421109198 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 세종학술정보원/과학기술실/ | 청구기호 004.01 R332L | 등록번호 452088765 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 3 | 소장처 세종학술정보원/과학기술실/ | 청구기호 004.01 R332L | 등록번호 452094350 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 004.015113 R332L | 등록번호 421109198 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실/ | 청구기호 004.01 R332L | 등록번호 452088765 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 세종학술정보원/과학기술실/ | 청구기호 004.01 R332L | 등록번호 452094350 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
저자소개
스티브 리브스(지은이)
보디빌더 출신의 배우 (1926-2000)
Michael Clarke(지은이)
