Ritter eike pym david (15 resultados)
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Powell's Bookstores Chicago, ABAA, Chicago, IL, Estados Unidos de AmericaPowell's Bookstores Chicago, ABAA
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 38,65
Envío por EUR 5,80Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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 t…hese 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.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 125,84
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 192,29
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 183,33
Envío por EUR 13,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: ECOSPHERE, Champs sur marne, , FranciaECOSPHERE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,00
Envío por EUR 65,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Couverture rigide. Condición: Neuf.
Idioma: Inglés
Editorial: Oxford University Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 182,29
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. 232.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 183,32
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 196,98
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 187,50
Envío por EUR 28,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. Like New. book.
Idioma: Inglés
Editorial: Clarendon Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 222,07
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Oxford University Press, GB 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 226,83
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: 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/mod…el-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 .
Idioma: Inglés
Editorial: Oxford University Press, GB 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 213,53
Envío por EUR 74,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: 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/mod…el-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 .
Idioma: Inglés
Editorial: Oxford University Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 348,38
Envío por EUR 9,16Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Oxford University Press 2004
Serie: Oxford Logic Guides, Libro 5 de 11. Libro 5 de 11 - Oxford Logic Guides
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 397,53
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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. . . . .
Editorial: Clarendon Press, Oxford 2004
- Tapa dura
- Primera edición
Librería: Evening Star Books, ABAA/ILAB, Madison, WI, Estados Unidos de AmericaEvening Star Books, ABAA/ILAB
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 98,88
Envío por EUR 5,67Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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 Guide…s 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.
