서브메뉴
검색
Truth, deduction, and computation ; Logic and semantics for computer science
Truth, deduction, and computation ; Logic and semantics for computer science
Detailed Information
- 자료유형
- 단행본
- ISBN
- 0716782014
- 청구기호
- 005.12 D263t
- 저자명
- Davis, Ruth E.
- 서명/저자
- Truth, deduction, and computation ; Logic and semantics for computer science / Ruth E. Davis.
- 발행사항
- New York : Computer Science Press, 1989.
- 형태사항
- xv,265 p. ; 26 cm.
- 가격
- 18000
- Control Number
- kjul:50025151
MARC
008011017s1989 us 000 eng■005 20011017162404.0
■020 ▼a0716782014
■035 ▼aKRIC01694297
■090 ▼a005.12▼bD263t
■1001 ▼aDavis, Ruth E.
■24510▼aTruth, deduction, and computation ; Logic and semantics for computer science▼dRuth E. Davis.
■260 ▼aNew York▼bComputer Science Press▼bW. H. Freeman and Company▼c1989.
■300 ▼axv,265 p.▼c26 cm.
■9500 ▼b18000
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
detalle info
- Reserva
- No existe
- Mi carpeta
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
| número de libro | número de llamada | Ubicación | estado | Prestar info |
|---|---|---|---|---|
| W025151 | 005.12 D263t | 서양서제1서고 | 대출가능 |
대출가능 My Folder 부재도서신고 |
| W025152 | 005.12 D263t c.2 | 서양서제1서고 | 대출가능 |
대출가능 My Folder 부재도서신고 |
* Las reservas están disponibles en el libro de préstamos. Para hacer reservaciones, haga clic en el botón de reserva
