bokomslag Language, Proof and Logic
Data & IT

Language, Proof and Logic

Dave Barker-Plummer Jon Barwise John Etchemendy

Häftad

859:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Hos dig inom 5-9 arbetsdagar

Fri frakt vid köp över 99:- för medlemmar.

  • 650 sidor
  • 2011
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
  • Författare: Dave Barker-Plummer, Jon Barwise, John Etchemendy
  • Format: Häftad
  • ISBN: 9781575866321
  • Språk: Engelska
  • Antal sidor: 650
  • Utgivningsdatum: 2011-10-07
  • Förlag: Centre for the Study of Language & Information