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
Advanced Topics in Bisimulation and…
Davide Sangiorgi, Jan Rutten Hardcover R3,356 Discovery Miles 33 560
Pop-Up Geometry - The Mathematics Behind…
Joseph O'Rourke Hardcover R1,788 Discovery Miles 17 880
Distributed Algorithms
Nancy A. Lynch Hardcover R3,669 R3,201 Discovery Miles 32 010
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R3,033 R2,850 Discovery Miles 28 500
Computational Electrodynamics - The…
Allen Taflove Hardcover R4,574 Discovery Miles 45 740
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,666 Discovery Miles 16 660
Small Summaries for Big Data
Graham Cormode, Keyi Hardcover R1,563 Discovery Miles 15 630

See more

Partners