详细书目
| 附加的形体格式: | Online version: Zalabardo, José L. Introduction to the theory of logic. Boulder, Colo. : Westview Press, c2000 (OCoLC)607421907 Online version: Zalabardo, José L. Introduction to the theory of logic. Boulder, Colo. : Westview Press, c2000 (OCoLC)607738087 |
|---|---|
| 文件类型: | 书 |
| 所有的著者/提供者: |
José L Zalabardo |
| ISBN: | 0813390613 9780813390611 081336602X 9780813366029 |
| OCLC号码: | 42420724 |
| 注意: | Includes index. |
| 描述: | xiii, 330 p. : ill. ; 24 cm. |
| 内容: | Ch. 1. The Elements -- Ch. 2. Propositional Logic -- Ch. 3. First-Order Logic: Syntax and Semantics -- Ch. 4. Deduction -- Ch. 5. Soundness and Completeness -- Ch. 6. Cardinality -- Ch. 7. Expressive Limitations -- Ch. 8. Decidability. |
| 责任: | José L. Zalabardo. |
| 更多信息: |
摘要:
"Introduction to the Theory of Logic provides a rigorous introduction to the basic concepts and results to contemporary logic. It also presents, in two unhurried chapters, the mathematical tools, mainly from set theory, that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions and proofs and recursive definitions. The book is thus ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided."--BOOK JACKET.
标签
添加标签 目的是为 "Introduction to the theory of logic".
争取是第一个!

