hardcover. Condition: New. 1st.
Language: English
Published by Heusenstamon, Ontos Verlag; Transaction Publishers [distributor]
ISBN 10: 3868381589 ISBN 13: 9783868381580
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Hardcover. 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 Frankfurt, M. [i.e.] Heusenstamm ; Paris ; Lancaster ; New Brunswick, NJ : Ontos-Verl., 2012
ISBN 10: 3868381589 ISBN 13: 9783868381580
8° gebundene Ausgabe. Condition: Neu. 540 S. : Ill., graph. Darst. MIG-06-02B Sprache: Englisch Gewicht in Gramm: 774.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 542 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 200.31
Quantity: Over 20 available
Add to basketCondition: New. In.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
£ 201.73
Quantity: Over 20 available
Add to basketCondition: New.
Condition: new.
Condition: As New. Unread book in perfect condition.
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.
£ 242.14
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Walter de Gruyter, Incorporated, 2012
ISBN 10: 3110324539 ISBN 13: 9783110324532
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 542.
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.
Hardcover. Condition: Brand New. 542 pages. 8.27x5.83x9.00 inches. In Stock.
Language: English
Published by Walter de Gruyter, Incorporated, 2012
ISBN 10: 3110324539 ISBN 13: 9783110324532
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 542.
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.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 2012. Hardcover. . . . . .
Condition: New. 2012. Hardcover. . . . . . Books ship from the US and Ireland.
Seller: moluna, Greven, Germany
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, De Gruyter Jul 2012, 2012
ISBN 10: 3110324539 ISBN 13: 9783110324532
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
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.