Mathematical Logic Foundations for Information Science |
|
Author:
| Li, Wei |
Series title: | Progress in Computer Science and Applied Logic Ser. |
ISBN: | 978-3-7643-9976-4 |
Publication Date: | Mar 2010 |
Publisher: | Birkhauser Verlag
|
Book Format: | Hardback |
List Price: | AUD $134.95 |
Book Description:
|
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results.
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results.