Set Theory, Logic and Their Limitations
/ 1988-08-08
Product Details 基本信息 ISBN-13 书号 9780521479981 Author 作者 Moshe Machover Format 版本 平装 Pages Number 页数 300页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 1996年5月23日 Product Dimensions 商品尺寸 15.2 x 1.7 x 22.8 cm Shipping Weight 商品重量 440 g Language 语种 英语 Book Description 内容简介 This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves a
¥492.00