Articles liés à Mathematical Logic For Computer Science (2Nd Edition)

Mathematical Logic For Computer Science (2Nd Edition) - Couverture souple

Lu Z W

 
9789810230913: Mathematical Logic For Computer Science (2Nd Edition)
Couverture souple
ISBN 10 : 9810230915 ISBN 13 : 9789810230913
Editeur : Wspc, 1998

Synopsis

Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.

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

Présentation de l'éditeur

Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science. In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.

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

Éditeur
Wspc
Date d'édition
1998
Langue
anglais
ISBN 10 
9810230915
ISBN 13 
9789810230913
Reliure
Broché
Numéro d'édition
2
Nombre de pages
256
Coordonnées du fabricant
non disponible
Personne responsable
non disponible