Importo totale (1 articolo articoli):
Destinazione ordine:
david pym eike ritter (12 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (12)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (8)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (12)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (7)
- Non Print on Demand (12)
Lingua (2)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 40 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 40
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Reductive Logic and Proof-Search
Libro 5 di 11: Oxford Logic GuidesDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 142,71
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 232.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Libro 5 di 11: Oxford Logic GuidesDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 189,67
Spedizione EUR 2,22
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Libro 5 di 11: Oxford Logic GuidesDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 178,34
Spedizione EUR 13,78
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Libro 5 di 11: Oxford Logic GuidesDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 178,33
Spedizione EUR 17,25
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Libro 5 di 11: Oxford Logic GuidesDa: ECOSPHERE, Champs sur marne, Francia
Valutazione del venditore 5 su 5 stelle
EUR 129,00
Spedizione EUR 65,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCouverture rigide. Condizione: Neuf.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Libro 5 di 11: Oxford Logic GuidesDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 196,61
Spedizione EUR 17,25
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides, 45)
Libro 5 di 11: Oxford Logic GuidesDa: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 187,15
Spedizione EUR 28,75
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Libro 5 di 11: Oxford Logic GuidesDa: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 206,08
Spedizione EUR 3,36
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Libro 5 di 11: Oxford Logic GuidesDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 220,18
Spedizione EUR 2,22
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Reductive Logic and Proof-search
Libro 5 di 11: Oxford Logic GuidesLingua: Inglese
Editore: Oxford University Press, GB, 2004
ISBN 10: 0198526334 ISBN 13: 9780198526339
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 226,76
Spedizione gratuita
Spedito da Regno Unito a U.S.A.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 .
-
Reductive Logic and Proof-search
Libro 5 di 11: Oxford Logic GuidesLingua: Inglese
Editore: Oxford University Press, GB, 2004
ISBN 10: 0198526334 ISBN 13: 9780198526339
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 213,12
Spedizione EUR 74,75
Spedito da Regno Unito a U.S.A.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 .
-
Reductive Logic and Proof Search; Proof Theory, Semantics and Control
Editore: Clarendon Press, Oxford, 2004
Da: Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.
Membro dell'associazione: ABAA ILAB IOBA
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: Very near Fine. First edition. 8vo. [5], vi-xv, [4], 2-208, [4] pp. Navy cloth with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gold on the spine, single gold rule on the front board with three gold rules on the spine. Volume 45 in the Oxford Logic Guides series. Series editors Angus MacIntyre, Dov M. Gabbay, and Dana Scott. As with most volumes in the series, this book was issued without a dust jacket. This monograph is focused on reductive logics (logics based on the notion of how, given a putative conclusion, a proof may be determined using a non-deterministic procedure choosing amongst possible premises). Reductive logics are of particular interest within the field of computation and the authors examine semantics and proof theory within this context as well as exploring both Intuitionistic and Classical proof systems. A very attractive copy. Very near Fine with a bit of minor rubbing to the rear board.
