서브메뉴
검색
Truth, deduction, and computation ; Logic and semantics for computer science
Truth, deduction, and computation ; Logic and semantics for computer science
Detailed Information
- Material Type
- 단행본
- Date and Time of Latest Transaction
- 20011017162404.0
- ISBN
- 0716782014
- Callnumber
- 005.12 D263t
- Author
- Davis, Ruth E.
- Title/Author
- Truth, deduction, and computation ; Logic and semantics for computer science / Ruth E. Davis.
- Publish Info
- New York : Computer Science Press, 1989.
- Material Info
- xv,265 p. ; 26 cm.
- Price Info
- 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
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
