Mathematical Logic For Computer Science (2nd Edition) (Hardcover, 2nd Revised edition)

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.

General

Imprint:	World Scientific Publishing Co Pte Ltd
Country of origin:	Singapore
Series:	World Scientific Series In Computer Science, 47
Release date:	August 1998
First published:	August 1998
Authors:	Zhongwan Lu
Dimensions:	229 x 165mm (L x W)
Format:	Hardcover
Pages:	256
Edition:	2nd Revised edition
ISBN-13:	978-981-02-3091-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
LSN:	981-02-3091-5
Barcode:	9789810230913

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!