Articles liés à Computability and Logic
Synopsis
Book by Boolos George S Burgess John P Jeffrey Richard C
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Revue de presse
'... gives an excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' American Math Monthly
'The writing style is excellent: Although many explanations are formal, they are perfectly clear. Modern, elegant proofs help the reader understand the classic theorems and keep the book to a reasonable length.' Computing Reviews
' ... a valuable asset to those who want to enhance their knowledge and strengthen their ideas in the areas of artificial intelligence, philosophy, theory of computing, discrete structures, mathematical logic. It is also useful to teachers for improving their teaching style in these subjects.' Computer Engineering
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCambridge University Press
- Date d'édition2007
- ISBN 10 0521877520
- ISBN 13 9780521877527
- ReliureRelié
- Langueanglais
- Numéro d'édition5
- Nombre de pages366
Acheter neuf
Afficher cet article
EUR 97,94
EUR 4,75 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Computability and Logic
Image d'archives
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Ancien ou d'occasion
Couverture rigide
Vendeur : Great Matter Books, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Near Fine. No Jacket. 5th or later Edition. Near Fine condition hardcover book, no dust jacket. Fifth Edition, 2007. Slightest shelf wear to covers and spine. Slightest bumping to spine edges. Beautiful gilt lettering on front cover and spine, not worn. Minute toning and smudging to text block edges. All books are individually inspected and described. Never X-Library unless specifically described as such. N° de réf. du vendeur 2501-9552
Quantité disponible : 1 disponible(s)
Image d'archives
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521877527_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5272895-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5272895
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5272895
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computability and Logic
Edité par
Cambridge University Press, 2012
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, but also a large number of optional topics, from Turi. N° de réf. du vendeur 446951851
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5272895-n
Quantité disponible : 1 disponible(s)
Image d'archives
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 880. N° de réf. du vendeur C9780521877527
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computability and Logic
Edité par
Cambridge Univ Pr, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 5th edition. 350 pages. 10.25x7.25x1.00 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521877520
Quantité disponible : 1 disponible(s)
Image d'archives
Computability and Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521877520
ISBN 13 : 9780521877527
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521877527
Quantité disponible : Plus de 20 disponibles