gebundene Ausgabe. Condition: Gut. 425 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 800.
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 26.56
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: Sehr gut. 435 p. In very good condition. ISBN: 9780387974507 Sprache: Englisch Gewicht in Gramm: 756 16,5 x 2,5 x 24,8 cm, hardcover.
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Condition: Very Good.
Seller: Antiquariat Seitenwechsel, Hildesheim, NI, Germany
0387974504, ehem. Bibliotheksexpl., Rückensignatur, Bibliotheksstempel innen, ansonsten einwandfrei, former library book, very good condition, as new 3540974504 Mit offener Rechnung beliefern wir gerne Buchhandlungen, Bibliotheken, Antiquariate, Schulen, Galerien und Institutionen. Bei neuen uns noch unbekannten privaten Kunden erlauben wir uns die Bitte um Vorauskasse. Wir bitten um Ihr Verständnis. Sprache: Deutsch Gewicht in Gramm: 800 Groß-8°, OPpbd., IX, 425 S. : with 36 illustrations.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.28
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Springer US 1991-01-01, 1991
ISBN 10: 1461277922 ISBN 13: 9781461277927
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.86
Quantity: Over 20 available
Add to basketPaperback. Condition: New.
Condition: New. pp. 425.
Condition: New. pp. 446.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 425.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. 425.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 93.34
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 435 pages. 9.25x6.10x1.00 inches. In Stock.
Language: English
Published by New York Inc.: Springer-Verlag, 1991
ISBN 10: 0387974504 ISBN 13: 9780387974507
Seller: Antiquariat Bernhardt, Kassel, Germany
Condition: Sehr gut. X, 425 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 780 gebundene Ausgabe gebundene Ausgabe.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Mathematical Foundations of Computer Science | Sets, Relations, and Induction | Peter A. Fejer (u. a.) | Taschenbuch | Monographs in Computer Science | x | Englisch | 2011 | Springer | EAN 9781461277927 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 551.63
Quantity: 3 available
Add to basketCondition: New.
Language: English
Published by World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Hardback. Condition: New. Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Language: English
Published by World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 576.36
Quantity: 3 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by World Scientific Publishing Co Pte Ltd, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: Revaluation Books, Exeter, United Kingdom
US$ 568.67
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 1200 pages. 6.10x2.00x9.30 inches. In Stock.
Language: English
Published by World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: Rarewaves.com UK, London, United Kingdom
US$ 551.64
Quantity: 2 available
Add to basketHardback. Condition: New. Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Language: English
Published by World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 665.67
Quantity: 6 available
Add to basketCondition: New. In.
Language: English
Published by World Scientific Publishing Company Nov 2024, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Neuware - Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes -- propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms -- Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 25.66
Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer-Verlag New York Inc., 2011
ISBN 10: 1461277922 ISBN 13: 9781461277927
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 80.11
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 446 36 Figures, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.