EUR 11,36
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 12,68
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 15,03
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 16,66
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 208 pages. 9.00x6.00x0.47 inches. In Stock.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 15,60
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 14,13
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 16,11
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Hardcover. Condizione: Very Good. Condizione sovraccoperta: None. 5th. Minor shelf wear. Else a bright, clean copy. This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2.
Da: Anybook.com, Lincoln, Regno Unito
EUR 31,71
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Volume 26. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9781402007453.
Da: Majestic Books, Hounslow, Regno Unito
EUR 15,98
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 210.
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 137,21
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 232.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. Print on Demand pp. 210.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 163,81
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 163,81
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 136,16
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 136,16
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 188,93
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 183,59
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: ECOSPHERE, Champs sur marne, Francia
EUR 129,00
Quantità: 1 disponibili
Aggiungi al carrelloCouverture rigide. Condizione: Neuf.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 183,58
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 342.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 344.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 197,26
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 140,00
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. The Semantics and Proof Theory of the Logic of Bunched Implications | David J. Pym | Taschenbuch | Applied Logic Series | xlix | Englisch | 2010 | Springer | EAN 9789048160723 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 187,76
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 220,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Oxford University Press, GB, 2004
ISBN 10: 0198526334 ISBN 13: 9780198526339
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 225,12
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .
EUR 227,48
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.