Lectures in logic and set theory. Volume 2, Set theory / George Tourlakis.
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 writ...
| Uniform Title: | Cambridge studies in advanced mathematics ;
83. |
|---|---|
| Main Author: | |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2003.
|
| Series: | Cambridge studies in advanced mathematics ;
83. |
| Subjects: | |
| Online Access: | |
| Physical Description: | 1 online resource (xv, 575 pages) : digital, PDF file(s). |
| Variant Title: |
Lectures in Logic & Set Theory. |
| Format: | Electronic eBook |
MARC
| LEADER | 00000nam a22000008i 4500 | ||
|---|---|---|---|
| 001 | in00005574391 | ||
| 003 | OCoLC | ||
| 005 | 20220616144941.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr ||||||||||| | ||
| 008 | 090914s2003||||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 |d UtOrBLW | ||
| 049 | |a QEMP | ||
| 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. |0 http://id.loc.gov/authorities/names/n83178579 | |
| 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 Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Set theory. |0 http://id.loc.gov/authorities/subjects/sh85120387 | |
| 776 | 0 | 8 | |i Print version: |a Tourlakis, George J. |t Lectures in logic and set theory. Volume 2, Set theory |z 9780521753746. |
| 830 | 0 | |a Cambridge studies in advanced mathematics ; |v 83. |0 http://id.loc.gov/authorities/names/n84708314 | |
| 856 | 4 | 0 | |u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511615566 |z Connect to online resource - MSU authorized users |t 0 |
| 907 | |y .b119427321 |b 211128 |c 160728 | ||
| 998 | |a wb |b 160728 |c m |d a |e - |f eng |g enk |h 0 |i 3 | ||
| 999 | f | f | |i 665b5656-ab83-518d-8f67-b8c85d87fcdc |s 364a208e-b5bc-5119-9066-4b0e78e99071 |t 0 |
| 952 | f | f | |p Non-Circulating |a Michigan State University-Library of Michigan |b Michigan State University |c MSU Online Resource |d MSU Online Resource |t 0 |e QA9.2 .T68 2003 |h Library of Congress classification |i Electronic Resource |j Online |n 1 |
| 856 | 4 | 0 | |t 0 |u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511615566 |y Connect to online resource - MSU authorized users |