Logic, Construction, Computation - Ontos Mathematical Logic - - Grāmatas - De Gruyter - 9783110324532 - 2012. gada 20. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Logic, Construction, Computation - Ontos Mathematical Logic

Cena
€ 215,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 19. jūn.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2012. gada 20. jūlijs
ISBN13 9783110324532
Izdevēji De Gruyter
Lapas 542
Izmēri 150 × 220 × 20 mm   ·   826 g
Valoda Vācu  
Redaktors Berger, Ulrich
Redaktors Diener, Hannes
Redaktors Schuster, Peter
Redaktors Seisenberger, Monika

Mere med samme udgiver