Items related to MATHEMATICAL LOGIC FOR COMPUTER SCIENCE: 13 (WORLD...

MATHEMATICAL LOGIC FOR COMPUTER SCIENCE: 13 (WORLD SCIENTIFIC SERIES IN COMPUTER SCIENCE) - Hardcover

Lu, Zhongwan

 
9789971502515: MATHEMATICAL LOGIC FOR COMPUTER SCIENCE: 13 (WORLD SCIENTIFIC SERIES IN COMPUTER SCIENCE)
Hardcover
ISBN 10: 9971502518 ISBN 13: 9789971502515
Publisher: EPB Publishers Pte Ltd, 1989

Synopsis

This book describes the aspects of mathematical logic related to computer sciences. The materials adopted in this book are intended to attend to both the peculiarities of logical systems and the requirements of computer science.

"synopsis" may belong to another edition of this title.

Synopsis

Zhongwan (mathematical logic, Academia Sinica, Beijing) presents an overview of both the peculiarities of logical systems and the requirements of computer logic, but does not specifically treat the application of the former to the latter. Topics include sets, inductive definitions and proofs, propositional and first-order logic, formal and natural

"About this title" may belong to another edition of this title.

Publisher
EPB Publishers Pte Ltd
Publication date
1989
Language
English
ISBN 10 
9971502518
ISBN 13 
9789971502515
Binding
Hardcover
Number of pages
260