Proof and disproof in formal logic
Auteur :
Bornat, Richard
Éditeur :
Oxford University Press
ISBN :
9780198530268
Date de publication :
21 juil. 2005
Dimensions :
24,9 x 17,3 x 2,1 cm
Poids :
605 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.