Lectures in Logic and Set Theory. Volume 1: Mathematical...

Main
Mathematics - Logic
Lectures in Logic and Set Theory....

Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

Name: Lectures in Logic and Set Theory. Volume 1: Mathematical Logic
ISBN: 9780511068713

George Tourlakis

5.0 / 0

0 comments

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Volume 82 in the series Cambridge Studies in Advanced Mathematics. Volume 1 of the book Lectures in Logic and Set Theory.

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 1 includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.

Kategorien:

Mathematics - Logic

Band:

82:1

Jahr:

2003

Auflage:

Verlag:

Cambridge University Press

Sprache:

english

Seiten: