bokomslag Proof and Disproof in Formal Logic
Data & IT

Proof and Disproof in Formal Logic

Richard Bornat

Inbunden

1569:-

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

Uppskattad leveranstid 10-15 arbetsdagar

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

Andra format:

  • 264 sidor
  • 2005
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
  • Författare: Richard Bornat
  • Format: Inbunden
  • ISBN: 9780198530268
  • Språk: Engelska
  • Antal sidor: 264
  • Utgivningsdatum: 2005-07-01
  • Förlag: OUP Oxford