Get Free Shipping on orders over $0
Mathematical Logic for Computer Science : SERIES IN COMPUTER SCIENCE - Zhongwan Lu

Mathematical Logic for Computer Science

By: Zhongwan Lu

Hardcover | 1 December 1998 | Edition Number 2

At a Glance

Hardcover


RRP $149.99

$134.99

10%OFF

or 4 interest-free payments of $33.75 with

 or 

Ships in 15 to 25 business days

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.

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.99

29%
OFF
Parabolic Problems : 60 Years of Mathematical Puzzles in Parabola - David Angell
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Blockchain and Digital Twin Applications in Smart Agriculture - Amit  Kumar Tyagi
Security, Privacy, and Trust in WBANs and E-Healthcare - Anuj Kumar  Singh