TY - BOOK ID - 32056508 TI - Lectures in logic and set theory. PY - 2003 VL - 83 SN - 9780521753739 9780511615559 9780521168465 0521753732 9780521753746 0521753740 0521168465 9780521168489 0521168481 0511615558 9780511615566 0511615566 1280417765 9786610417766 1139148532 0511180608 0511066589 0511060270 0511307594 0511068719 1280417773 9786610417773 1139148540 0511180616 0511066597 0511060289 0511302711 0511068727 1107128560 1107128579 9780511066580 9780511066597 9780511068720 PB - Cambridge Cambridge University Press DB - UniCat KW - Mathematische Logik KW - MENGENLEHRE (MATHEMATIK) KW - LEHRBÜCHER (DOKUMENTENTYP) KW - MATHEMATICAL LOGIC KW - logique mathématique KW - THÉORIE DES ENSEMBLES (MATHÉMATIQUES) KW - SET THEORY (MATHEMATICS) KW - TEXTBOOKS (DOCUMENT TYPE) KW - MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) KW - Mathematische Logik. KW - MENGENLEHRE (MATHEMATIK). KW - LEHRBÜCHER (DOKUMENTENTYP). KW - MATHEMATICAL LOGIC. KW - logique mathématique. KW - THÉORIE DES ENSEMBLES (MATHÉMATIQUES). KW - SET THEORY (MATHEMATICS). KW - TEXTBOOKS (DOCUMENT TYPE). KW - MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT). KW - Logique mathématique. KW - Logic, Symbolic and mathematical. KW - Set theory. KW - Aggregates KW - Classes (Mathematics) KW - Ensembles (Mathematics) KW - Mathematical sets KW - Sets (Mathematics) KW - Theory of sets KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Logic, Symbolic and mathematical KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Logic, symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:32056508 AB - 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 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem. ER -