Logic, Construction, Computation - Ontos Mathematical Logic - - Bücher - De Gruyter - 9783110324532 - 20. Juli 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Logic, Construction, Computation - Ontos Mathematical Logic

Möchtest Du eine E-Mail, sobald der Artikel verfügbar ist?
Hast du ein Profil? Anmelden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

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.

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 20. Juli 2012
ISBN13 9783110324532
Verlag De Gruyter
Seitenanzahl 542
Maße 150 × 220 × 20 mm   ·   826 g
Sprache Deutsch  
Redakteur Berger, Ulrich
Redakteur Diener, Hannes
Redakteur Schuster, Peter
Redakteur Seisenberger, Monika

Mehr vom selben Verlag