David j pym eike ritter (15 risultati)
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.Powell's Bookstores Chicago, ABAA
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 38,27
EUR 5,75 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Very Good. 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.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 125,46
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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.
Lingua: Inglese
Editore: Oxford University Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 137,46
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 232.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 190,38
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 184,33
EUR 13,88 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: ECOSPHERE, Champs sur marne, , FranciaECOSPHERE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,00
EUR 65,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Couverture rigide. Condizione: Neuf.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 184,32
EUR 17,38 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 198,05
EUR 17,38 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 188,52
EUR 28,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. Like New. book.
Lingua: Inglese
Editore: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 221,65
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Oxford University Press, GB 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 226,67
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. 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/mo…del-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 .
Lingua: Inglese
Editore: Oxford University Press, GB 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 214,69
EUR 75,30 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. 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/mo…del-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 .
Lingua: Inglese
Editore: Oxford University Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 344,91
EUR 9,07 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Discusses the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its applications… in the computational sciences. Series: Oxford Logic Guides. Num Pages: 232 pages, numerous figures & tables. BIC Classification: HPL; PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 17. Weight in Grams: 480. . 2004. Hardback. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Oxford University Press 2004
Serie: Oxford Logic Guides, Libro 5 di 11. Libro 5 di 11 - Oxford Logic Guides
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 397,53
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Discusses the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its applications… in the computational sciences. Series: Oxford Logic Guides. Num Pages: 232 pages, numerous figures & tables. BIC Classification: HPL; PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 17. Weight in Grams: 480. . 2004. Hardback. . . . .
Editore: Clarendon Press, Oxford 2004
- Rilegato
- Prima edizione
Da: Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.Evening Star Books, ABAA/ILAB
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 97,90
EUR 5,62 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
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 Guid…es 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.
