HardCover. Pub Date :2014-03-01 Pages: 312 Language: Chinese Publisher: Science Press Information Science and Technology Books basic mathematical logic: basic principles and form of calculus (second edition). The content is divided into ten chapters. Systems introduces the basic principles and form of calculus of mathematical logic. The first five chapters cover the core content of classical mathematical logic. including the syntax of the language of the first-order model. in the form of reasoning system. and can be said of computability. G?del theorem. After five chapters of the content is the author's research. This section includes: Version sequences and limit theory. calculus correction systems. process model theory. inductive reasoning. three locales theory and meta-language environment to comply with the six basic principles of scientific research and the information s...
"synopsis" may belong to another edition of this title.
Seller: liu xing, Nanjing, JS, China
Hardcover. Condition: New. HardCover. Pub Date :2014-03-01 Pages: 312 Language: Chinese Publisher: Science Press Information Science and Technology Books basic mathematical logic: basic principles and form of calculus (second edition). The content is divided into ten chapters. Systems introduces the basic principles and form of calculus of mathematical logic. The first five chapters cover the core content of classical mathematical logic. including the syntax of the language of the first-order model. in the form of reas. Seller Inventory # BX068701