- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Proof and Disproof in Formal Logic
An Introduction for programmers
Richard (School of Computing Science, Middlesex University) Born
100,45 €
+ 200 points
Format
Description
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.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 264
- Collection :
Caractéristiques
- EAN:
- 9780198530275
- Date de parution :
- 21-07-05
- Format:
- Livre broché
- Dimensions :
- 170 mm x 239 mm
- Poids :
- 438 g
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.