Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer-Verlag, Inc., 1990
ISBN 10: 0387972331ISBN 13: 9780387972336
Librería: Ammareal, Morangis, Francia
Libro
Softcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Publicado por Springer-Verlag [1990], New York, 1990
Librería: Evening Star Books, ABAA/ILAB, Madison, WI, Estados Unidos de America
Original o primera edición
Hardcover. Condición: Very near Fine. First edition. 8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer 2013-06, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer-Verlag, 1990
ISBN 10: 3540972331ISBN 13: 9783540972334
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Libro
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.17.
Publicado por Springer New York Jun 2013, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject. 348 pp. Englisch.
Publicado por Springer Verlag, New York, 1990
ISBN 10: 0387972331ISBN 13: 9780387972336
Librería: Works on Paper, DeKalb, IL, Estados Unidos de America
Libro Original o primera edición
Hardcover. Condición: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appearance. A sharp copy.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: 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.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: 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.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: New. New! This book is in the same immaculate condition as when it was published.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers.
Publicado por Springer-Verlag New York Inc., 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Libro Impresión bajo demanda
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Publicado por Springer New York, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: moluna, Greven, Alemania
Libro
Kartoniert / Broschiert. Condición: New.
Publicado por Springer New York, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.
Publicado por Springer 20.04.1990., 1990
ISBN 10: 0387972331ISBN 13: 9780387972336
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Libro
Condición: Sehr gut. 242 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: Books Unplugged, Amherst, NY, Estados Unidos de America
Libro
Condición: New. Buy with confidence! Book is in new, never-used condition.
Publicado por Springer Verlag, 1990
ISBN 10: 0387972331ISBN 13: 9780387972336
Librería: Ammareal, Morangis, Francia
Libro
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Publicado por Springer, 2013
ISBN 10: 1461275156ISBN 13: 9781461275152
Librería: dsmbooks, Liverpool, Reino Unido
Libro
Paperback. Condición: Like New. Like New. book.
Publicado por Springer-Verlag, 1990
ISBN 10: 0387972331ISBN 13: 9780387972336
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: 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.
Publicado por Springer-Verlag, 1990
ISBN 10: 3540972331ISBN 13: 9783540972334
Librería: Mispah books, Redhill, SURRE, Reino Unido
Libro
hardcover. Condición: Good. Good. book.