SULJE VALIKKO

avaa valikko

Logic, Construction, Computation
312,80 €
De Gruyter
Sivumäärä: 542 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2012, 20.07.2012 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 16-19 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logic, Construction, Computationzoom
Näytä kaikki tuotetiedot
ISBN:
9783110324532
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste