Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardcover, Volume 1, Mathematical Logic)

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. 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 lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	Cambridge Studies in Advanced Mathematics
Release date:	2003
First published:	2003
Authors:	George Tourlakis
Dimensions:	234 x 157 x 23mm (L x W x T)
Format:	Hardcover
Pages:	342
Edition:	Volume 1, Mathematical Logic
ISBN-13:	978-0-521-75373-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
LSN:	0-521-75373-2
Barcode:	9780521753739

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!