Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardcover, Volume 1, Mathematical Logic) Loot Price: R2,206

Discovery Miles 22 060

Repayment Terms: R207 pm x 12*

You Save: R776 (26%)

Add to cart

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardcover, Volume 1, Mathematical Logic): George Tourlakis

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardcover, Volume 1, Mathematical Logic)

George Tourlakis

Series: Cambridge Studies in Advanced Mathematics

(sign in to rate)

Was ~~R2,982~~ Loot Price R2,206 Discovery Miles 22 060 | Repayment Terms: R207 pm x 12* You Save R776 (26%)

Expected to ship within 12 - 17 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	Cambridge Studies in Advanced Mathematics
Release date:	2003
First published:	2003
Authors:	George Tourlakis
Dimensions:	234 x 157 x 23mm (L x W x T)
Format:	Hardcover
Pages:	342
Edition:	Volume 1, Mathematical Logic
ISBN-13:	978-0-521-75373-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory Promotions
LSN:	0-521-75373-2
Barcode:	9780521753739