跳到内容
Introduction to the theory of logic 预览资料
关闭预览资料
  • 预览此资料(Questia)

Introduction to the theory of logic

著者: José L Zalabardo
出版商: Boulder, Colo. : Westview Press, ©2000.
版本/格式:   图书 : 英语查看所有的版本和格式
提要:
"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  再读一些...
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

 

在图书馆查找

正在检索... 正在查找有这资料的图书馆...

详细书目

附加的形体格式: 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.

评论

用户提供的评论
正在检索weRead中的评论...
正在获取GoodReads评论...
正在检索Amazon中的评论...

标签

争取是第一个!

相似资料

相关主题:(4)

确认申请

您可能已经申请过这份资料。如果还是想申请,请选确认。

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.