Computability and Logic

Name: Computability and Logic
Brand: Cambridge University Press
SKU: ByrdShop_0521389232
Price: 79.59 USD
Availability: InStock

paperback – September 29, 1989

by Boolos, George S.

$79.59 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

Secure Checkout

Quality Guaranteed

New In Stock

ISBN-13: 9780521389235 ISBN-10: 0521389232

Publisher

Cambridge University Press

Binding

paperback

Published

September 29, 1989

Weight

1.0 lbs

Dimensions

22.90×1.90×15.90 cm

About this book

Computability and Logic by Boolos, George S.. paperback edition. ISBN: 9780521389235.

A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.