ebokPDF » Science & Math » Lectures in Logic and Set Theory. Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics)

Categories

Arts, Photography
Biographies, Memoirs
Business, Money
Children's Books
Christian Books, Bibles
Comics, Graphic Novels
Computers, Technology
Cookbooks, Food, Wine
Crafts, Hobbies, Home
Education, Teaching
Engineering, Transportation
Gay, Lesbian
Health, Fitness, Dieting
History
Humor, Entertainment
Law
Literature, Fiction
Medical Books
Mystery, Thriller, Suspense
Parenting, Relationships
Politics, Social Sciences
Reference
Religion, Spirituality
Romance
Science, Math
Science Fiction, Fantasy
Self-Help
Sports, Outdoors
Teen, Young Adult
Test Preparation
Travel
Other
No category

Popular books

Science & Math

**Author:** George Tourlakis

**Book title:** Lectures in Logic and Set Theory. Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics)

**ISBN:** 0521753732

**ISBN13:** 978-0521753739

**Publisher:** Cambridge University Press; 1st edition (January 13, 2003)

**Language:** English

**Category:** Mathematics

**Rating:** 4.7/5

**Votes:** 819

**Pages:** 342 pages

**More formats:** mobi mbr azw rtf

**1746 downloads at 15 mb/s**

PDF format

**1361 downloads at 11 mb/s**

EPUB format

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.

Reviews: (2)