Proof And Disproof in Formal Logic: An Introduction for Programmers - Couverture rigide

Bornat, Richard

 
9780198530268: Proof And Disproof in Formal Logic: An Introduction for Programmers

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Revue de presse

The text is written in a reasonably informal but sufficiently precise manner and, moreover, it is very lively. ( EMS Newsletter)

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780198530275: Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic)

Edition présentée

ISBN 10 :  0198530277 ISBN 13 :  9780198530275
Editeur : Oxford University Press, 2005
Couverture souple