Logic, Construction, Computation - Ontos Mathematical Logic - - Bøker - De Gruyter - 9783110324532 - 20. juli 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Logic, Construction, Computation - Ontos Mathematical Logic

Pris
NOK 2.069

Bestillingsvarer

Forventes levert 10. - 18. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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øker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 20. juli 2012
ISBN13 9783110324532
Utgivere De Gruyter
Antall sider 542
Mål 150 × 220 × 20 mm   ·   826 g
Språk Tysk  
Redaktør Berger, Ulrich
Redaktør Diener, Hannes
Redaktør Schuster, Peter
Redaktør Seisenberger, Monika

Mere med samme udgiver