Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Proof and Disproof in Formal Logic

Proof and Disproof in Formal Logic

- An Introduction for programmers

av Richard (School of Computing Science Bornat

del av OXFORD TEXTS IN LOGIC-serien

Proof and Disproof in Formal Logic av Richard (School of Computing Science Bornat
Om Proof and Disproof in Formal Logic

Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is divided in to four parts. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text includes reference to and exercises based on the computer software package Jape.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198530275
  • Format:
  • Häftad
  • Sidor:
  • 264
  • Utgiven:
  • 21. juli 2005
  • Mått:
  • 170x239x14 mm.
  • Vikt:
  • 438 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 4. april 2025

Om Richard (School of Computing Science Bornat

Se alla böcker av Richard (School of Computing Science Bornat

Beskrivning av Proof and Disproof in Formal Logic

Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is divided in to four parts. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text includes reference to and exercises based on the computer software package Jape.

Användarnas betyg av Proof and Disproof in Formal Logic



Andra köpte även...
Hitta liknande böcker
Boken Proof and Disproof in Formal Logic finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.