Logic, Construction, Computation - Ontos Mathematical Logic - - Kirjat - De Gruyter - 9783110324532 - perjantai 20. heinäkuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logic, Construction, Computation - Ontos Mathematical Logic

Hinta
€ 218,99

Tilattu etävarastosta

Arvioitu toimitus pe 31. heinä - ma 10. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 20. heinäkuuta 2012
ISBN13 9783110324532
Tuottaja De Gruyter
Sivujen määrä 542
Mitta 150 × 220 × 20 mm   ·   826 g
Kieli Saksa  
Toimittaja Berger, Ulrich
Toimittaja Diener, Hannes
Toimittaja Schuster, Peter
Toimittaja Seisenberger, Monika

Lisää samalta julkaisijalta