Articoli correlati a Computability and Logic
Sinossi
Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
'... 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
Descrizione del libro
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 Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 116,53
EUR 10,42 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Computability and Logic
Foto dell'editore
Computability and Logic
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521877527_new
Quantità: Più di 20 disponibili
Foto dell'editore
Computability and Logic
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 5th edition. 350 pages. 10.25x7.25x1.00 inches. In Stock. This item is printed on demand. Codice articolo __0521877520
Quantità: 1 disponibili
Immagini fornite dal venditore
Computability and Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5272895-n
Quantità: Più di 20 disponibili
Foto dell'editore
Computability and Logic
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 880. Codice articolo C9780521877527
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Computability and Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5272895-n
Quantità: Più di 20 disponibili
Foto dell'editore
Computability and Logic
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521877527
Quantità: Più di 20 disponibili
Foto dell'editore
Computability and Logic (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2007
ISBN 10: 0521877520
ISBN 13: 9780521877527
Nuovo
Rilegato
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. 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. 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 Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9780521877527
Quantità: 1 disponibili
Immagini fornite dal venditore
Computability and Logic
Editore:
Cambridge University Press, 2007
ISBN 10: 0521877520
ISBN 13: 9780521877527
Antico o usato
Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5272895
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Computability and Logic
Editore:
Cambridge University Press, 2007
ISBN 10: 0521877520
ISBN 13: 9780521877527
Antico o usato
Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5272895
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Computability and Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 446951851
Quantità: Più di 20 disponibili