0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Mathematical Logic For Computer Science (2nd Edition) (Hardcover, 2nd Revised edition) Loot Price: R2,048
Discovery Miles 20 480
Mathematical Logic For Computer Science (2nd Edition) (Hardcover, 2nd Revised edition): Zhongwan Lu

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

Zhongwan Lu

Series: World Scientific Series In Computer Science, 47

 (sign in to rate)
Loot Price R2,048 Discovery Miles 20 480 | Repayment Terms: R192 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working 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.

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
Promotions
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!

You might also like..

Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R2,970 Discovery Miles 29 700
Fibonacci Cubes With Applications And…
Omer Egecioglu, Sandi Klavzar, … Hardcover R2,380 Discovery Miles 23 800
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,128 R2,831 Discovery Miles 28 310
Theory and Computation of Tensors…
Yimin Wei, Weiyang Ding Paperback R1,372 Discovery Miles 13 720
A Bibliographic Guide to Resources in…
Jeffrey R. Yost Hardcover R2,081 R1,896 Discovery Miles 18 960
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R3,033 R2,850 Discovery Miles 28 500
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,750 Discovery Miles 17 500
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,112 Discovery Miles 31 120
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R10,356 Discovery Miles 103 560
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,251 Discovery Miles 22 510
Essential Linear Algebra with…
Titu Andreescu Hardcover R2,882 Discovery Miles 28 820

See more

Partners