Cantitate/Preț
Produs

Logic, Construction, Computation: ISSN, cartea 3

Editat de Ulrich Berger, Monika Seisenberger, Peter Schuster, Hannes Diener
en Limba Engleză Hardback – 20 iul 2012
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.
Citește tot Restrânge

Din seria ISSN

Preț: 165384 lei

Preț vechi: 214785 lei
-23%

Puncte Express: 2481

Carte tipărită la comandă

Livrare economică 02-16 decembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783110324532
ISBN-10: 3110324539
Pagini: 544
Ilustrații: Zahlr. Abb.
Dimensiuni: 153 x 216 x 34 mm
Greutate: 0.77 kg
Ediția:1. Auflage
Editura: De Gruyter
Colecția ISSN
Seria ISSN

Locul publicării:Berlin/Boston