Book Details
Format
Hardback or Cased Book
Book Series
World Scientific Series In Computer Science
ISBN-10
9810230915
ISBN-13
9789810230913
Edition
2 Revised edition
Publisher
World Scientific Publishing Co Pte Ltd
Imprint
World Scientific Publishing Co Pte Ltd
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 24th, 1998
Print length
258 Pages
Weight
488 grams
Product Classification:
Mathematical logicMaths for computer scientists
Ksh 12,400.00
Temporarily out of stock, due soon
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Describes the aspects of mathematical logic which are related to computer science. This book deals with both the peculiarities of logical systems and the requirements of computer science. In this edition, the proofs and explanations have been increased and rewritten, with new terms and notations.
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.
Get MATH''L LOGIC FOR COMP SCI-2ND ED (V47) by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by World Scientific Publishing Co Pte Ltd and it has pages.
