“Lectures in Logic and Set Theory: Volume 1, Mathematical Logic” (9780511060274)

“Lectures in Logic and Set Theory: Volume 1, Mathematical Logic” (9780511060274)

R621.00

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

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
George Tourlakis
George
Tourlakis
Cambridge University Press
Cambridge University Press
1

9780511060274
9780521753739

SKU: 9780511060274 Category: Tag:

Description

“Lectures in Logic and Set Theory: Volume 1, Mathematical Logic” (9780511060274)

This work includes formal proof techniques, a section on applications of compactness, 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.

Reviews

There are no reviews yet.

Be the first to review ““Lectures in Logic and Set Theory: Volume 1, Mathematical Logic” (9780511060274)”

Your email address will not be published. Required fields are marked *

Related products