Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)

Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2011-07
ISBN: 9780521168489
定价: 910.10
装帧: 平装
页数: 592页
正文语种: 英语
  • This two-volume 2003 work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
  • 内容简介:
    This two-volume 2003 work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
查看详情
目前没有书店销售此书
相关图书 / 更多
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Arakelov Geometry
C. Soulé, Centre National de la Recherche Scientifique , Paris(CNRS);D. Abramovich, Princeton University, New Jersey;J. F. Burnol, Max-Planck-Institut für Mathematik in den Naturwissenschaften, Leipzig;J. K. Kramer
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Curves, Surfaces and Projective Varieties
Ettore Carletti, Dionisio Gallarati, and Giacomo Monti Bragadin Mauro C. Beltrametti
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on the Ricci Flow (London Mathematical Society Lecture Note Series)
Peter Topping
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Lie Groups
J. F. Adams
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Nonlinear Wave Equations
Christopher D. Sogge
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Hyperbolic Geometry
Riccardo Benedetti;Carlo Petronio
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
LecturesonJurisprudence
R. L. Meek 编
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Partial Differential Equations
I. G. Petrovsky
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Hilbert Schemes of Points on Surfaces
Hiraku Nakajima
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Ancient Philosophy
Manly P. Hall
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures on Differential Equations and D
Louis Nirenberg (路易斯·尼伦伯格
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures in Abstract Algebra I:Basic Concepts (Graduate Texts in Mathematics)
N. Jacobson
您可能感兴趣 / 更多
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
欧洲史学新方向(伊格尔斯著作集)
Georg G.IGGERS
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
盈利与可持续发展:一部关于全球绿色企业家精神的历史(企业与企业家丛书)
Geoffrey G. Jones
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
寂静的石头:喜马拉雅地区的科考随笔(自然文库)
George B. Schaller
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
奈特心脏病学(第3版)
George;A.Stouffer
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
伯里曼人体结构绘画教程(导学版)
George Brandt Bridgman(乔治·伯里曼
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
倪正茂全集 科技法学卷
George L. Israel(伊来瑞
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
英诗学习指南:语言学的分析方法(当代国外语言学与应用语言学文库)(升级版)
Geoffrey N. Leech
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
功能语法入门(第三版)(当代国外语言学与应用语言学文库)(升级版)
Geoff Thompson
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
语用学原则/语言学及应用语言学名著译丛
Geoffrey N. Leech
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
老狼,老狼,几点了
George(露西・M・乔治) 著;[英]Lucy、M、吴瑶 译
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
肌肉骨骼系统性检查
GeorgeV.Lawry 著;万一群 译
Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics)
See Sooner, Act Faster: How Vigilant Leaders Thrive in an Era of Digital Turbulence
George S. Day;Paul J. H. Schoemaker