Lectures in logic and set theory: set theory, Vol. 2

By:

Tourlakis, George

Series: Cambridge studies in advanced mathematics ; 83Publication details: Cambridge University Press, 2003. Cambridge:Description: xv, 575p. : ill. ; pb. ; 24 cmISBN:

9780521168489

Subject(s):

DDC classification:

511.3 TOU

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	IIT Gandhinagar General Stacks	General	511.3 TOU (Browse shelf(Opens below))	1	Available		030122

Browsing IIT Gandhinagar shelves, Shelving location: General Stacks, Collection: General Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.3 KOZ Automata and computability	511.3 PUD Logical foundations of mathematics and computational complexity: a gentle introduction	511.3 TOU Lectures in logic and set theory: mathematical Logic , Vol.1	511.3 TOU Lectures in logic and set theory: set theory, Vol. 2	511.3 VEL How to prove it: a structured approach	511.3 WIG Mathematics and computation: a theory revolutionizing technology and science	511.32 BEL Toposes and local set theories: an introduction	Next

Includes bibliographical references and indexes.
Electronic reproduction. UK : MyiLibrary, 2007. Available via World Wide Web. Access may be limited to MIL affiliated libraries.

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.

There are no comments on this title.

to post a comment.