Lectures in Logic and Set Theory Mathematical Logic

Name: Lectures in Logic and Set Theory Mathematical Logic
Author: Tourlakis, George J.
ISBN: 9780521753739

by Tourlakis, George J.

Marketplace Prices
New from $90.72

New
$90.72

Item Details
Condition: New
Provider: gridfreed Contact
Provider Rating:

66%
Ships From: San Diego, CA
Shipping: Standard
Comments: New. In shrink wrap. Looks like an interesting title!

ISBN-13: 9780521753739
ISBN: 0521753732
Publisher: Cambridge University Press

AUTHOR

Tourlakis, George J.

SUMMARY

Includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), 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.Tourlakis, George J. is the author of 'Lectures in Logic and Set Theory Mathematical Logic' with ISBN 9780521753739 and ISBN 0521753732.

[read more]