bokomslag Language, Proof, and Logic
Filosofi & religion

Language, Proof, and Logic

Dave Barker-Plummer Jon Barwise Etchem

Pocket

779:-

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

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 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: Barker-Plummer, Dave;Barwise, Jon;Etchem
  • Illustratör: Illustrations
  • Format: Pocket
  • ISBN: 9781575866321
  • Språk: Engelska
  • Antal sidor: 650
  • Utgivningsdatum: 2011-10-07
  • Förlag: Centre for the Study of Language & Information