Articles liés à Proof And Disproof in Formal Logic: An Introduction...

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
Couverture rigide
ISBN 10 : 0198530269 ISBN 13 : 9780198530268
Editeur : Oxford University Press, 2005

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.

Éditeur
Oxford University Press
Date d'édition
2005
Langue
anglais
ISBN 10 
0198530269
ISBN 13 
9780198530268
Reliure
Relié
Nombre de pages
264
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie