Logic, Construction, Computation - Couverture rigide

 
9783868381580: Logic, Construction, Computation
Couverture rigide
ISBN 10 : 3868381589 ISBN 13 : 9783868381580
Editeur : ontos verlag, 2012

Synopsis

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 versus intuitionistic logic, Inductive definitions, and Continuous functionals and domains.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
ontos verlag
Date d'édition
2012
Langue
anglais
ISBN 10 
3868381589
ISBN 13 
9783868381580
Reliure
Relié
Nombre de pages
542
Éditeur
Berger Ulrich, Diener Hannes, Schuster Peter, Seisenberger Monika
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783110324532: Logic, Construction, Computation

Edition présentée

ISBN 10 :  3110324539 ISBN 13 :  9783110324532
Editeur : De Gruyter, 2012
Couverture rigide