Computability and Logic Fifth Edition

Boolos, George S.

ISBN 10: 0521701465 ISBN 13: 9780521701464
Edité par Cambridge University Press, 2007
Ancien(s) ou d'occasion Paperback

Vendeur HPB-Red, Dallas, TX, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 11 mars 2019


A propos de cet article

Description :

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_426227164

Signaler cet article

Synopsis :

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

Présentation de l'éditeur: Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Computability and Logic Fifth Edition
Éditeur : Cambridge University Press
Date d'édition : 2007
Reliure : Paperback
Etat : Good
Edition : 5ème Édition

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Burgess, John P.,Boolos, George S.,Jeffrey, Richard C.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Good. Minor shelf wear/ creasing on cover. N° de réf. du vendeur mon0003870036

Contacter le vendeur

Acheter D'occasion

EUR 14,22
EUR 4,24 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Boolos, George S.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Ancien ou d'occasion Paperback

Vendeur : HPB-Red, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_451266467

Contacter le vendeur

Acheter D'occasion

EUR 14,65
EUR 3,19 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Burgess, John P.,Boolos, George S.,Jeffrey, Richard C.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Very Good. N° de réf. du vendeur mon0003652942

Contacter le vendeur

Acheter D'occasion

EUR 14,77
EUR 4,24 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Boolos, George S.,Burgess, John P.,Jeffrey, Richard C.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Ancien ou d'occasion paperback

Vendeur : Magers and Quinn Booksellers, Minneapolis, MN, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Very Good. May have light to moderate shelf wear and/or a remainder mark. Complete. Clean pages. N° de réf. du vendeur 1513204

Contacter le vendeur

Acheter D'occasion

EUR 15,38
EUR 3,39 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Boolos, George S.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Ancien ou d'occasion Couverture souple

Vendeur : Marlton Books, Bridgeton, NJ, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2007. N° de réf. du vendeur M-20007214

Contacter le vendeur

Acheter D'occasion

EUR 15,52
EUR 2,55 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Boolos, George S.:
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Ancien ou d'occasion , Softcover/Paperback

Vendeur : Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

, Softcover/Paperback. Etat : Sehr gut. Auflage: 5. 364 Seiten Fresh and clean copy in good condition. Contents: Computability Theory - Enumerability - Diagonalization - Turing computability - Uncomputability - Abacus computability - Recursive functions - Recursive sets and relations - Equivalent definitions of computability - Basic Metalogic - A precis of first-order logic: syntax - A precis of first-order logic: semantics - The undecidability of first-order logic - Models - The existence of models - Proofs and completeness - Arithmetization - Representability of recursive functions - Indefinability, undecidability, incompleteness - The unprovability of consistency - Further Topics - Normal forms - The Craig interpolation theorem - Monadic and dyadic logic - Second-order logic - Arithmetical definability - Decidability of arithmetic without multiplication - Non-standard models - Ramsey's theorem - Modal logic and provability ISBN 9780521701464 Sprache: Englisch Gewicht in Gramm: 630. N° de réf. du vendeur 1269327

Contacter le vendeur

Acheter D'occasion

EUR 20
EUR 40 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Boolos, George; Burgess, John P.; Jeffrey, Richard C.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5272869

Contacter le vendeur

Acheter D'occasion

EUR 30,97
EUR 2,24 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Boolos, George S.; Burgess, John P.; Jeffrey, Richard C.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Feb2416190012530

Contacter le vendeur

Acheter neuf

EUR 38,62
EUR 3,39 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Boolos, George; Burgess, John P.; Jeffrey, Richard C.
Edité par Cambridge University Press, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 5272869-n

Contacter le vendeur

Acheter neuf

EUR 39,03
EUR 2,24 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

George S. Boolos/ John P. Burgess/ Richard C. Jeffrey
Edité par Cambridge Univ Pr, 2007
ISBN 10 : 0521701465 ISBN 13 : 9780521701464
Neuf Paperback
impression à la demande

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 5th edition. 350 pages. 10.00x7.00x0.75 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521701465

Contacter le vendeur

Acheter neuf

EUR 39,05
EUR 14,34 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 18 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre