9780198566519 - from sets and types to topology and analysis: towards practicable foundations for constructive mathematics (oxford logic guides, vol.48) (22 Ergebnisse)
Sprache: Englisch
Verlag: Oxford University Press, 2005
- Hardcover
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes KönigreichFireside Bookshop
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: PBFA
Zustand: Gebraucht - Befriedigend
EUR 90,19
EUR 29,19 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Cloth. Zustand: Good. No Jacket. Type: Book N.B. Small plain label to ffep. Damage stamp to title page. Base of spine bumped. No D/J.
Sprache: Englisch
Verlag: Oxford Science Publications, 2005
- Hardcover
Anbieter: The Book House, Inc. - St. Louis, St. Louis, MO, USAThe Book House, Inc. - St. Louis
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 236,85
EUR 6,07 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket Issued. Very Good Hardcover, as new.
Sprache: Englisch
Verlag: OUP Oxford, 2005
- Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 253,17
EUR 9,50 VersandVersand von Irland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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; Schuste…r, 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. . . . .
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 255,86
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 274,37
EUR 2,29 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 271,12
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 300,80
EUR 2,29 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 300,07
EUR 13,99 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: OUP Oxford, 2005
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 320,42
EUR 9,11 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: 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; Schuste…r, 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.
Sprache: Englisch
Verlag: Oxford University Press, GB, 2005
- Hardcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 356,81
Versand gratisVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: 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 a…nd 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.
Sprache: Englisch
Verlag: Oxford University Press, GB, 2005
- Hardcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 337,59
EUR 75,89 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: 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 a…nd 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.
Sprache: Englisch
Verlag: Oxford University Press, Oxford, 2005
- Hardcover
- Print-on-Demand
Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 195,21
EUR 32,11 VersandVersand von Australien nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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 analysi…s, 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.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 254,25
EUR 6,80 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Oxford University Press, 2005
- Hardcover
- Print-on-Demand
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 305,69
EUR 5,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Sprache: Englisch
Verlag: Oxford University Press, 2005
- Hardcover
- Print-on-Demand
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 314,76
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Sprache: Englisch
Verlag: Oxford University Press, Oxford, 2005
- Hardcover
- Print-on-Demand
Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 315,96
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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 analysi…s, 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.
Sprache: Englisch
Verlag: OUP Oxford, 2005
- Hardcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 279,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Buch. Zustand: 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 | A…nbieter: preigu Print on Demand.
Sprache: Englisch
Verlag: Oxford University Press, Oxford, 2005
- Hardcover
- Print-on-Demand
Anbieter: CitiRetail, Stevenage, Vereinigtes KönigreichCitiRetail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 319,25
EUR 43,20 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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 analysi…s, 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 UK warehouse or from our Australian or US warehouses, depending on stock availability.
Sprache: Englisch
Verlag: OUP Oxford, 2005
- Hardcover
- Print-on-Demand
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 304,52
EUR 63,61 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: 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), a…nd 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.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
- Print-on-Demand
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 397,69
EUR 3,46 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 372.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 427,67
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 372 Illus.
Sprache: Englisch
Verlag: Clarendon Press, 2005
- Hardcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 430,34
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 372.
