9780198566519 - from sets and types to topology and analysis: towards practicable foundations for constructive mathematics: 48 (oxford logic guides) (22 resultados)
Idioma: Inglés
Editorial: Oxford University Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
Librería: Fireside Bookshop, Stroud, GLOS, Reino UnidoFireside Bookshop
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: PBFA
Condición: Usado - Aceptable
EUR 90,17
Envío por EUR 29,18Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Cloth. Condición: Good. No Jacket. Type: Book N.B. Small plain label to ffep. Damage stamp to title page. Base of spine bumped. No D/J.
Idioma: Inglés
Editorial: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 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 232,61
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 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 227,28
Envío por EUR 13,98Se 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, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 227,27
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Oxford Science Publications, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
Librería: The Book House, Inc. - St. Louis, St. Louis, MO, Estados Unidos de AmericaThe Book House, Inc. - St. Louis
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 238,61
Envío por EUR 6,12Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket Issued. Very Good Hardcover, as new.
Idioma: Inglés
Editorial: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 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 253,50
Envío por EUR 2,31Se 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: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 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 252,97
Envío por EUR 17,51Se 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: OUP Oxford, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
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 253,17
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. Editor(s): Crosilla, Laura; Schus…ter, Peter. Series: Oxford Logic Guides. Num Pages: 372 pages, numerous line drawings and mathematical examples. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 243 x 163 x 26. Weight in Grams: 688. . 2005. Illustrated. hardcover. . . . .
Idioma: Inglés
Editorial: Oxford University Press, GB, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 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 277,58
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 edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra… and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition.
Idioma: Inglés
Editorial: OUP Oxford, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 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 322,81
Envío por EUR 9,18Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. Editor(s): Crosilla, Laura; Schus…ter, Peter. Series: Oxford Logic Guides. Num Pages: 372 pages, numerous line drawings and mathematical examples. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 243 x 163 x 26. Weight in Grams: 688. . 2005. Illustrated. hardcover. . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Oxford University Press, GB, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 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 261,97
Envío por EUR 75,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra… and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition.
Idioma: Inglés
Editorial: Oxford University Press, Oxford, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 195,81
Envío por EUR 32,35Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analy…sis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it isup-to-date, highly topical and broad in scope.This is the latest volume in the Oxford Logic Guides, which also includes:41. J.M. Dunn and G. Hardegree:Algebraic Methods in Philosophical Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation andDefinability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Idioma: Inglés
Editorial: Oxford University Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 231,39
Envío por EUR 5,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Editorial: Oxford University Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 235,68
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Editorial: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 254,41
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
Idioma: Inglés
Editorial: Oxford University Press, Oxford, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 242,23
Envío por EUR 43,19Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analy…sis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it isup-to-date, highly topical and broad in scope. This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree:Algebraic Methods in Philosophical Logic 42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning 43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 1 44. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 2 45. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control 46. D.M. Gabbay and L. Maksimova: Interpolation andDefinability: Modal and Intuitionistic Logics 47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Idioma: Inglés
Editorial: Oxford University Press, Oxford, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 318,32
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analy…sis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it isup-to-date, highly topical and broad in scope.This is the latest volume in the Oxford Logic Guides, which also includes:41. J.M. Dunn and G. Hardegree:Algebraic Methods in Philosophical Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation andDefinability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Idioma: Inglés
Editorial: OUP Oxford, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 279,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: Neu. From Sets and Types to Topology and Analysis | Towards Practicable Foundations for Constructive Mathematics | Laura Crosilla (u. a.) | Buch | Gebunden | Englisch | 2005 | OUP Oxford | EAN 9780198566519 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de |… Anbieter: preigu Print on Demand.
Idioma: Inglés
Editorial: OUP Oxford, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 304,52
Envío por EUR 63,61Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories),… and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition.
Idioma: Inglés
Editorial: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 400,65
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 372.
Idioma: Inglés
Editorial: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 430,86
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 372 Illus.
Idioma: Inglés
Editorial: Clarendon Press, 2005
Serie: Oxford Logic Guides, Libro 7 de 11. Libro 7 de 11 - Oxford Logic Guides
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 430,34
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 372.
