The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to

Learn more

Mathematical Logic

Basic Principles and Formal Calculus

Mathematical Logic
Add to cart
US$ 89.99
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. It provides guidelines for the development of information science and technology. This book, with 10 chapters, presents basic principles and formal calculus of mathematical logic systematically. The first five chapters cover the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. The contents of the last five chapters are extensions and developments of classical mathematical logic. This part elaborates version sequences of formal theories and their limits, the system of revision calculus, proxchemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. It also describes the paradigm of environments of three kinds of languages and the basic principles of metalanguage environments and addresses the workflow of scientific research in the information era.
Springer; December 2009
266 pages; ISBN 9783764399771
Read online, or download in secure PDF format