Proof and disproof in formal logic: an introduction for programmers
Auteur :
Bornat, Richard
Éditeur :
Oxford University Press
ISBN :
9780198530275
Date de publication :
21 juil. 2005
Dimensions :
24,0 x 16,9 x 1,7 cm
Poids :
473 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.