Type d'article
Etat
Reliure
Particularités
Livraison gratuite
Pays
Evaluation du vendeur
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : As New. Unread book in perfect condition.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : As New. Unread book in perfect condition.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Livre impression à la demande
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Edité par College Publications 11/29/2011, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Livre
Paperback or Softback. Etat : New. Foundations of Mathematics I 0.92. Book.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : California Books, Miami, FL, Etats-Unis
Livre
Etat : New.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par College Publications, 2024
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : Save With Sam, North Miami, FL, Etats-Unis
Livre impression à la demande
Paperback. Etat : New. Brand New! This item is printed on demand.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par College Publications 2011-11-29, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Livre
Paperback. Etat : New.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : New.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : GF Books, Inc., Hawthorne, CA, Etats-Unis
Livre
Etat : Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 1.57.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : GF Books, Inc., Hawthorne, CA, Etats-Unis
Livre
Etat : Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.57.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : Book Deals, Tucson, AZ, Etats-Unis
Livre
Etat : Fair. Acceptable/Fair condition. Book is worn, but the pages are complete, and the text is legible. Has wear to binding and pages, may be ex-library. 1.57.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : Books Unplugged, Amherst, NY, Etats-Unis
Livre
Etat : Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.57.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : Books Unplugged, Amherst, NY, Etats-Unis
Livre
Etat : Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within 1.57.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Livre impression à la demande
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Livre impression à la demande
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : New.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : GF Books, Inc., Hawthorne, CA, Etats-Unis
Livre
Etat : New. Book is in NEW condition. 1.57.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : Book Deals, Tucson, AZ, Etats-Unis
Livre
Etat : New. New! This book is in the same immaculate condition as when it was published 1.57.
Edité par College Publications, 2012
ISBN 10 : 1848900759ISBN 13 : 9781848900752
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Hilbert and Bernays' 'Grundlagen der Mathematik' appeared in two volumes in 1934 and 1939, a second edition in 1968 and 1970. It offers a foundationfor proof theory and it is a major source on David Hilbert's formalist programme, Paul Bernays' philosophy, the epsilon operator, and much more.It has had a profound influence on mathematics, logic, and philosophy, and it covers formal ground and philosophical perspectives beyond the scope ofWhitehead and Russell's 'Principia Mathematica' and Frege's 'Grundlagen der Arithmetik'.This book is not only essential to any scholar of the history and philosophy of modern mathematics, but it also contains formal research - on the epsilon and iota operators - of contemporary relevance to logicians, mathematicians and computer science. For us, it is one of the most fascinating books ever written.This a bilingual German-English, commented edition of the 'Grundlagen'. It is the first English publication of these texts and shows the facsimile of the German original text on the left-hand side of a double page, and its English translation on the right-hand side. In addition to extensive comments on the history and the interpretation of the text's mathematical and philosophical content, there are also careful annotations regarding the differences between the two German editions (1934/39,1968/1970) of this two volume monograph.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Hilbert and Bernays' 'Grundlagen der Mathematik'appeared in two volumes in 1934 and 1939, asecond edition in 1968 and 1970. It offers afoundation for proof theory and is a major source onDavid Hilbert's formalist programme, Paul Bernays'philosophy, the epsilon operator, and much more.It has been a profound infl uence on mathematicslogic, and philosophy, and it covers formal groundand philosophical perspectives beyond the scope ofWhitehead and Russell's 'Principia Mathematica' andFrege's 'Grundlagen der Arithmetik'.This book is not only essential to any scholar of thehistory and philosophy of modern mathematics, but italso contains formal research - on the epsilon and iotaoperators - of contemporary relevance to logiciansmathematicians and computer science. For us, it isone of the most fascinating books ever written.This a bilingual German-English, commented editionof the 'Grundlagen'. It is the fi rst English publicationof these texts and shows the facsimile of the Germanoriginal text on the left-hand side of a double pageand its English translation on the right-hand side.In addition to extensive comments on the historyand the interpretation of the text's mathematicaland philosophical content, there are also carefulannotations regarding the differences between thetwo German editions (1934/39,1968/1970) of thistwo volume monograph.
Edité par Verlag Dr. Kovac, Hamburg, 1997
ISBN 10 : 386064551XISBN 13 : 9783860645512
Vendeur : Verlag Dr. Kovac GmbH, Hamburg, Allemagne
Livre Edition originale
Softcover. Etat : neu. 1. Auflage. Forschungsergebnisse zur Informatik, Band 31 260 pages. Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver Theoreme in naher Zukunft wirtschaftliche Bedeutung erlangen wird. Positiv/negativ bedingte Gleichungen sind universell quantifizierte Implikationen erster Stufe mit einer einzelnen Gleichung im Sukzedens und einer Konjunktion von positiven und negativen (d.h. negierten) Gleichungen im Antezedens. Sie eignen sich zur funktionalen Spezifikation erster Stufe und lassen sich in direkter Weise als Programme auffassen. Mit Hilfe eines konstruktorbasierten Ansatzes wird algebraischen Spezifikationen mit positiv/negativ bedingten Gleichungen eine ihnen gemäÃe Semantik gegeben. Des weiteren wird die Reduktion mit positiv/negativ bedingten Regeln in solcher Weise definiert, dass die grundlegenden Ergebnisse für positiv bedingte Termersetzungssysteme ihre Gültigkeit behalten. Es ist von besonderer Wichtigkeit, dass die vorgestellten Begriffe induktiver Gültigkeit gegenüber konsistenter Spezifikationserweiterung ein monotones Verhalten aufweisen. Auf dieser Grundlage wird dann ein Inferenzsystem zum Nachweis verschiedener induktiver Gültigkeiten von Gleichungsklauseln entwickelt. Der konstruktorbasierte Ansatz erweist sich für einen derartigen Induktionsbeweis als gut geeignet, und auch das Auftreten partiell definierter und nichtterminierender Funktionen bereitet keine zusätzlichen Schwierigkeiten.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : Wizard Books, Long Beach, CA, Etats-Unis
Livre
Paperback. Etat : new. New.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : Front Cover Books, Denver, CO, Etats-Unis
Livre
Etat : new.
Edité par College Publications, 2011
ISBN 10 : 1848900333ISBN 13 : 9781848900332
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextHilbert and Bernays Grundlagen der Mathematik appeared in two volumes in 1934 and 1939, asecond edition in 1968 and 1970. It offers afoundation for proof theory and is a major source onDavid Hilbert s formalist programme.