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

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

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.

Thể loại:

Mathematics - Logic

Tập:

82:1

Năm:

2003

In lần thứ:

Nhà xuát bản:

Cambridge University Press

Ngôn ngữ:

english

Trang: