Logic, Construction, Computation - Ontos Mathematical Logic - - Knjige - De Gruyter - 9783110324532 - 20. julija 2012
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Logic, Construction, Computation - Ontos Mathematical Logic

Cena
€ 202,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 18. - 26. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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.

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 20. julija 2012
ISBN13 9783110324532
Založniki De Gruyter
Strani 542
Dimenzije 150 × 220 × 20 mm   ·   826 g
Jezik Nemščina  
Urednik Berger, Ulrich
Urednik Diener, Hannes
Urednik Schuster, Peter
Urednik Seisenberger, Monika

Mere med samme udgiver