서브메뉴
검색
Truth, deduction, and computation ; Logic and semantics for computer science
Truth, deduction, and computation ; Logic and semantics for computer science
상세정보
- 자료유형
- 단행본
- 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
