Logic, Construction, Computation - Ontos Mathematical Logic - - Boeken - De Gruyter - 9783110324532 - 20 juli 2012
Indien omslag en titel niet overeenkomen, is de titel correct

Logic, Construction, Computation - Ontos Mathematical Logic

Prijs
€ 204,49

Besteld in een afgelegen magazijn

Verwachte levering 11 - 19 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 20 juli 2012
ISBN13 9783110324532
Uitgevers De Gruyter
Pagina's 542
Afmetingen 150 × 220 × 20 mm   ·   826 g
Taal en grammatica Duits  
Uitgever Berger, Ulrich
Uitgever Diener, Hannes
Uitgever Schuster, Peter
Uitgever Seisenberger, Monika

Mere med samme udgiver