Sets Types Topology Analysis (23 results)
Language: English
Published by Oxford University Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: Fireside Bookshop, Stroud, GLOS, United KingdomFireside Bookshop
Contact seller5-star sellerAssociation member: PBFA
Condition: Used - Good
£ 75.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Cloth. Condition: Good. No Jacket. Type: Book N.B. Small plain label to ffep. Damage stamp to title page. Base of spine bumped. No D/J.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 199.29
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 189.05
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 189.04
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Oxford Science Publications, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: The Book House, Inc. - St. Louis, St. Louis, MO, U.S.A.The Book House, Inc. - St. Louis
Contact seller5-star sellerCondition: Used - Very good
£ 204.43
£ 5.24 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. Dust Jacket Condition: No Dust Jacket Issued. Very Good Hardcover, as new.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 217.18
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 210.42
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by OUP Oxford, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 223.41
£ 9.00 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: 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. . . . .
Language: English
Published by Oxford University Press, GB, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 237.81
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: 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.
Language: English
Published by OUP Oxford, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 276.56
£ 7.86 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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.
Language: English
Published by Oxford University Press, GB, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 217.90
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: 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.
Published by Oxford C.P., 2005., 2005
- Hardcover
Seller: SUBUN-SO BOOK STORE, ABAJ-ILAB, Tokyo, JapanSUBUN-SO BOOK STORE, ABAJ-ILAB
Contact seller4-star sellerAssociation member: ILAB
xix,350pp. roy.8vo. black cloth. very good.
Language: English
Published by Oxford University Press, Oxford, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
£ 167.76
£ 27.71 shippingShips from Australia to U.S.A.Quantity: 1 available
Hardcover. Condition: 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.
Language: English
Published by Oxford University Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 192.47
£ 5.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Language: English
Published by Oxford University Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 201.92
Free ShippingShips within U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 224.50
£ 5.83 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Oxford University Press, Oxford, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
£ 201.49
£ 37.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: 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.
Language: English
Published by Oxford University Press, Oxford, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 272.72
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: 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.
Language: English
Published by OUP Oxford, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 246.51
£ 59.97 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: 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.
Language: English
Published by OUP Oxford, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 268.72
£ 54.50 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 343.25
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 372.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 369.13
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 372 Illus.
Language: English
Published by Clarendon Press, 2005
Series: Oxford Logic Guides, Book 7 of 11. Book 7 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 379.75
£ 8.52 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 372.
