Idioma: Inglés
Publicado por College Publications, GB, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 27,61
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 1985
ISBN 10: 0444877061 ISBN 13: 9780444877062
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Original o primera edición
EUR 17,32
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. First Edition. Proceedings of the IFIP WG 8.1 Working Conference on Theretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April, 1985. Hardcover with lightly bumped head of spine. Book-plate on inside front cover. Pages are lightly tanned.Text remains clear, and pages are tight throughout. Printed boards. No dust jacket. T. Used.
Idioma: Inglés
Publicado por College Publications 3/17/2008, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 35,83
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Foundations of Logic and Theory of Computation. Book.
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
EUR 25,12
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Idioma: Inglés
Publicado por College Publications 2008-03, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Librería: Chiron Media, Wallingford, Reino Unido
EUR 20,24
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 24,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por College Publications, GB, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Librería: Rarewaves.com UK, London, Reino Unido
EUR 24,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 176,96
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 164,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 275,78
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 300,75
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 27,57
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 24,86
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 26,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 51,11
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 344 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 57,13
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 344.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 51,52
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 344.
Librería: moluna, Greven, Alemania
EUR 41,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextThe book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert s programme for the f.
Librería: preigu, Osnabrück, Alemania
EUR 28,60
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. A Mathematical Primer on Computability | Amilcar Sernadas (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2018 | College Publications | EAN 9781848902961 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 37,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert's programme for the formalization of Mathematics. It is widely known that the programme failed with Gödel's incompleteness theorems and related negative results about arithmetic. Unfortunately, the positive outcomes of the programme are less well known, even among mathematicians. The book covers key successes, like Gödel's proof of the completeness of first-order logic, Gentzen's proof of its consistency by purely symbolic means, and the decidability of a couple of useful theories. The book also tries to convey the message that Hilbert's programme made a significant contribution to the advent of the computer as it is nowadays understood and, thus, to the latest industrial revolution.Part I of the book addresses Hilbert's programme and computability. Part II presents first-order logic, including Gödel's completeness theorem and Gentzen's consistency theorem. Part III is focused on arithmetic, representability of computable maps, Gödel's incompleteness theorems and decidability of Presburger arithmetic. Part IV provides detailed answers to selected exercises.The book can be used at late undergraduate level or early graduate level. An undergraduate course would concentrate on Parts I and II, leaving out the Gentzen calculus, and sketching the way to the 1st incompleteness theorem. A more advanced course might skip early material already known to the students and concentrate on the positive and negative results of Hilbert's programme, thus covering Gentzen's proof of consistency and Part III in full.
Librería: preigu, Osnabrück, Alemania
EUR 43,45
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Foundations of Logic and Theory of Computation | A. Sernadas (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2008 | College Publications | EAN 9781904987888 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
Idioma: Portugués
Publicado por College Publications, 2012
ISBN 10: 1848900813 ISBN 13: 9781848900813
Librería: preigu, Osnabrück, Alemania
EUR 32,65
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Fundamentos de L Gica E Teoria Da Computa O | Am Lcar Sernadas (u. a.) | Taschenbuch | Kartoniert / Broschiert | Portugiesisch | 2012 | College Publications | EAN 9781848900813 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.