Proof and Disproof in Formal Logic
An Introduction for programmers
Vše od
Oxford University Press
ISBN: 9780198530275
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...
2 063 Kč
- 1 - 2 ks
- 2 063 Kč
- 3 - 10 ks
- 2 043 Kč
- 11 a více ks
- 2 023 Kč
Předpoklad doručení do 4. června *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Oxford University Press ↓
2 063 Kč
Více o produktu ↓
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.
- Výrobce
- Oxford University Press
- Jazyk
- United Kingdom
- Autor
- Bornat, Richard (School of Computing Science, Middlesex University)
- Rozměry
- 239 x 170 x 14
- Rok vydání
- 2005
- Počet stran
- 264
- Obsah
- Paperback / softback
- Hmotnost
- 438
- Počet stran
- 264 pages, numerous line drawings and mathematical examples
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Proof and Disproof in Formal Logic a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
