Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

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

Usually dispatched within 3 - 5 business days.

In Stock (518)

£ 60.00

Description

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.

Book Details
EAN:
9780521168465
Binding:
Paperback / softback
Dimensions(mm):
154 x 229 x 28
Publication Date:
2010-09-09
Publication Country:
United Kingdom