Librería: Books From California, Simi Valley, CA, Estados Unidos de America
EUR 37,93
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 49,71
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 313 3rd Edition NO-PA16APR2015-KAP.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 53,50
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 53,50
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 46,49
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 313.
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
EUR 55,58
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 56,80
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 56,80
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 57,46
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 46,69
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 313.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,70
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Mathematical Logic. Book.
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
EUR 59,03
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 61,11
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,28
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,67
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
EUR 99,57
Cantidad disponible: 3 disponibles
Añadir al carritoPaperback. Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
EUR 100,22
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2022
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof How can mathematical proofs be justified Are there limitations to provability To what extent can machines carry out mathematical proofs In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science.The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Mathematical Logic | Heinz-Dieter Ebbinghaus (u. a.) | Taschenbuch | ix | Englisch | 2022 | Springer | EAN 9783030738419 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,28
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 57,24
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,41
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer International Publishing Mai 2022, 2022
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming. 316 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing, 2022
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: moluna, Greven, Alemania
EUR 47,23
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. Explores additional important decidability results in this thoroughly updated new editionIntroduces mathematical logic by analyzing foundational questions on proofs and provability in mathematicsHighlights the capabilities and limitations o.
Idioma: Inglés
Publicado por Springer, Palgrave Macmillan Mai 2022, 2022
ISBN 10: 3030738418 ISBN 13: 9783030738419
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof How can mathematical proofs be justified Are there limitations to provability To what extent can machines carry out mathematical proofs In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science.The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 316 pp. Englisch.