Librería: ISD LLC, Bristol, CT, Estados Unidos de America
Original o primera edición
EUR 43,33
Convertir monedaCantidad disponible: 5 disponibles
Añadir al carritohardcover. Condición: New. 1st.
Condición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Publicado por Heusenstamon, Ontos Verlag; Transaction Publishers [distributor]
ISBN 10: 3868381589 ISBN 13: 9783868381580
Idioma: Inglés
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
EUR 112,80
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. 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.
EUR 220,00
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 240,39
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Original o primera edición
EUR 331,36
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: 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.
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Original o primera edición
EUR 338,54
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: 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.
EUR 313,15
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New. In the last decades, mathematical logi.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 402,51
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 2012. Hardcover. . . . . .
EUR 412,73
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 542 pages. 8.27x5.83x9.00 inches. In Stock.
EUR 428,56
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 2012. Hardcover. . . . . . Books ship from the US and Ireland.
Publicado por De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10: 3110324539 ISBN 13: 9783110324532
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 220,00
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 242,03
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHRD. 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.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 247,84
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10: 3110324539 ISBN 13: 9783110324532
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 220,00
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.Walter de Gruyter GmbH, Genthiner Strasse 13, 10785 Berlin 544 pp. Englisch.