Truth, Deduction and Computation: Logic and Semantics for Computer Science 1st.Ed.1989 Edition

Truth, Deduction and Computation: Logic and Semantics for Computer Science 1st.Ed.1989 Edition book cover

Truth, Deduction and Computation: Logic and Semantics for Computer Science 1st.Ed.1989 Edition

Author(s): Ruth E. Davis (Author)

  • Publisher: W.H.Freeman & Co Ltd ( New York & Oxford )
  • Publication Date: 18 Jan. 1989
  • Edition: 1st.Ed.1989
  • Language: English
  • Print length: 265 pages
  • ISBN-10: 0716782014
  • ISBN-13: 9780716782018

View on Amazon

电子书代发PDF格式价格30我要求助
未经允许不得转载:Wow! eBook » Truth, Deduction and Computation: Logic and Semantics for Computer Science 1st.Ed.1989 Edition