國立虎尾科技大學 |

Lectures in logic and set theory.. Volume 2,. Set theory /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Lectures in logic and set theory./ George Tourlakis.
其他題名:	Lectures in Logic & Set Theory
作者:	Tourlakis, George J.,
面頁冊數:	1 online resource (xv, 575 pages) :digital, PDF file(s). :
附註:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
標題:	Set theory. -
電子資源:	https://doi.org/10.1017/CBO9780511615566
ISBN:	9780511615566 (ebook)

Lectures in logic and set theory.. Volume 2,. Set theory /
Tourlakis, George J.,

Lectures in logic and set theory.Volume 2,Set theory /Lectures in Logic & Set TheoryGeorge Tourlakis. - 1 online resource (xv, 575 pages) :digital, PDF file(s). - Cambridge studies in advanced mathematics ;83. - Cambridge studies in advanced mathematics ;134..

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

This two-volume 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.

ISBN: 9780511615566 (ebook)Subjects--Topical Terms:

579942
Set theory.

LC Class. No.: QA9.2 / .T68 2003

Dewey Class. No.: 511.3

Lectures in logic and set theory.. Volume 2,. Set theory /
LDR:02019nam a2200313 i 4500 001 1126298
003 UkCbUP
005 20160526112740.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 240926s2003||||enk o ||1 0|eng|d
020 $a 9780511615566 (ebook)
020 $z 9780521753746 (hardback)
020 $z 9780521168489 (paperback)
035 $a CR9780511615566
040 $a UkCbUP $b eng $e rda $c UkCbUP
050 0 0 $a QA9.2 $b .T68 2003
082 0 0 $a 511.3 $2 21
100 1 $a Tourlakis, George J., $e author. $3 1445045
245 1 0 $a Lectures in logic and set theory. $n Volume 2, $p Set theory / $c George Tourlakis.
246 3 $a Lectures in Logic & Set Theory
264 1 $a Cambridge : $b Cambridge University Press, $c 2003.
300 $a 1 online resource (xv, 575 pages) : $b digital, PDF file(s).
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
490 1 $a Cambridge studies in advanced mathematics ; $v 83
500 $a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
520 $a This two-volume 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.
650 0 $a Set theory. $3 579942
650 0 $a Logic, Symbolic and mathematical. $3 527823
776 0 8 $i Print version: $z 9780521753746
830 0 $a Cambridge studies in advanced mathematics ; $v 134. $3 1133579
856 4 0 $u https://doi.org/10.1017/CBO9780511615566