Logic, Construction, Computation - Ontos Mathematical Logic - - Böcker - De Gruyter - 9783110324532 - 20 juli 2012
Om omslag och titel inte matchar är det titeln som gäller

Logic, Construction, Computation - Ontos Mathematical Logic

Få ett e-postmeddelande när artikeln är tillgänglig
Har du en profil? Logga in

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 20 juli 2012
ISBN13 9783110324532
Utgivare De Gruyter
Antal sidor 542
Mått 150 × 220 × 20 mm   ·   826 g
Språk Tyska  
Redaktör Berger, Ulrich
Redaktör Diener, Hannes
Redaktör Schuster, Peter
Redaktör Seisenberger, Monika

Mer från samma **utgivare**