Picture 1 of 1

Stock photo

Mathematical Logic for Computer Science by Lu Zhongwan (1997, Hardcover)

Great Book Prices Store (333771)

96.5% positive feedback

Price:

$85.37

Free shipping

Estimated delivery Tue, May 27 - Thu, Jun 5

Returns:

14 days returns. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Brand New

Mathematical Logic for Computer Science, Hardcover by Zhongwan, Lu, ISBN 9810230915, ISBN-13 9789810230913, Brand New, Free shipping in the US

About this product

Product Identifiers

PublisherWorld Industries Scientific Publishing Co Pte LTD

ISBN-109810230915

ISBN-139789810230913

eBay Product ID (ePID)383564

Product Key Features

Number of Pages250 Pages

Publication NameMathematical Logic for Computer Science

LanguageEnglish

SubjectComputer Science, Logic, Discrete Mathematics

Publication Year1997

TypeTextbook

AuthorLu Zhongwan

Subject AreaMathematics, Computers

FormatHardcover

Dimensions

Item Weight0 Oz

Item Length9.1 in

Item Width6.7 in

Additional Product Features

Edition Number2

Intended AudienceCollege Audience

Volume Number47

Dewey Decimal004.0151

SynopsisMathematical 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., 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.