Logic Construction Computation (21 results)

Title: 
Refine with Advanced Search

Refine your search

  • Books (21)

to

Custom price range (£)

to

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover
    • First Edition

    Seller: ISD LLC, Bristol, CT, U.S.A.ISD LLC

    5-star seller
    Contact seller

    Condition: New

    £ 38.13

     Free Shipping 
    Ships within U.S.A.

    Quantity: 3 available

    hardcover. Condition: New. 1st.

  • Language: English

    Published by Frankfurt, M. [i.e.] Heusenstamm ; Paris ; Lancaster ; New Brunswick, NJ : Ontos-Verl., 2012

    3868381589 / 9783868381580

    • Hardcover

    Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG

    5-star seller
    Contact seller

    Association member: BOEV

    Condition: New

    £ 117.60

    £ 8.39 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    8° gebundene Ausgabe. Condition: Neu. 540 S. : Ill., graph. Darst. MIG-06-02B Sprache: Englisch Gewicht in Gramm: 774.

  • Language: English

    Published by Heusenstamon, Ontos Verlag; Transaction Publishers [distributor]

    3868381589 / 9783868381580

    • Hardcover

    Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 98.65

    £ 33.58 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Hardcover. Condition: Gut. 542 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03527 9783868381580 Sprache: Englisch Gewicht in Gramm: 1150.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    £ 211.11

    £ 1.97 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by de Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK

    5-star seller
    Contact seller

    Condition: New

    £ 207.82

    £ 5.87 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 15 available

    HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: New

    £ 207.81

    £ 15.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand

    5-star seller
    Contact seller

    Condition: New

    £ 229.54

    £ 6.72 shipping 
    Ships from Italy to U.S.A.

    Quantity: Over 20 available

    Condition: new.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 220.65

    £ 11.29 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 249.70

    £ 1.97 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 222.82

    £ 29.38 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.…

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 242.17

    £ 15.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Walter de Gruyter, Incorporated, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: Majestic Books, Hounslow, United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    £ 265.33

    £ 6.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 3 available

    Condition: New. pp. 542.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    £ 261.87

    £ 12.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 2 available

    Hardcover. Condition: Brand New. 542 pages. 8.27x5.83x9.00 inches. In Stock.

  • Language: English

    Published by De Gruyter, DE, 2012

    3110324539 / 9783110324532

    • Hardcover
    • First Edition

    Seller: Rarewaves USA, HEBRON, KY, U.S.A.Rarewaves USA

    5-star seller
    Contact seller

    Condition: New

    £ 282.09

     Free Shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Hardback. Condition: New. 1st. Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.…

  • Language: English

    Published by Walter de Gruyter, Incorporated, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    £ 281.10

    £ 2.98 shipping 
    Ships within U.S.A.

    Quantity: 3 available

    Condition: New. pp. 542.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.

    5-star seller
    Contact seller

    Condition: New

    £ 314.34

    £ 7.98 shipping 
    Ships from Ireland to U.S.A.

    Quantity: Over 20 available

    Condition: New. 2012. Hardcover. . . . . .

  • Language: English

    Published by De Gruyter, DE, 2012

    3110324539 / 9783110324532

    • Hardcover
    • First Edition

    Seller: Rarewaves USA United, HEBRON, KY, U.S.A.Rarewaves USA United

    5-star seller
    Contact seller

    Condition: New

    £ 276.74

    £ 37.39 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Hardback. Condition: New. 1st. Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.…

  • Language: English

    Published by Frankfurt, M. [i.e.] Heusenstamm ; Paris ; Lancaster ; New Brunswick, NJ : Ontos-Verl., 2012

    3868381589 / 9783868381580

    • Hardcover

    Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 345.79

    £ 33.54 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Condition: gut. 2012. Logic, construction, computation. Ulrich Berger . (eds.) (= Ontos mathematical logic ; Vol. 3) In deutscher Sprache. pages.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Hardcover

    Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

    5-star seller
    Contact seller

    Condition: New

    £ 396.03

    £ 7.85 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New. 2012. Hardcover. . . . . . Books ship from the US and Ireland.

  • Language: English

    Published by De Gruyter, 2012

    3110324539 / 9783110324532

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 166.04

    £ 41.13 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Hardcover. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the last decades, mathematical logi.

  • Language: English

    Published by De Gruyter Jul 2012, 2012

    3110324539 / 9783110324532

    • Hardcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 190.23

    £ 19.31 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains. 544 pp. Englisch.…