Logic, Construction, Computation - Ontos Mathematical Logic - - Knihy - De Gruyter - 9783110324532 - 20. júla 2012
V prípade, že obal a názov nesedia, platí názov

Logic, Construction, Computation - Ontos Mathematical Logic

Cena
€ 211,99

Objednané zo vzdialeného skladu

Očakávané doručenie 16. - 24. júl

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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.

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 20. júla 2012
ISBN13 9783110324532
Vydavatelia De Gruyter
Strany 542
Rozmery 150 × 220 × 20 mm   ·   826 g
Jazyk Nemčina  
Editor Berger, Ulrich
Editor Diener, Hannes
Editor Schuster, Peter
Editor Seisenberger, Monika

Mere med samme udgiver