booktheque

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Hans Hermes · 1978

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
1978
שפה
German
הוצאה
Springer
מהדורות
2
עמודים
258
ISBN
9783540088691

מקור הנתונים: Wikidata

עוד של Hans Hermes

Introduction to mathematical logic
Hans Hermes · 2013
Einführung in die Verbandstheorie
Hans Hermes · 2013
Enumerability, Decidability, Computability
Hans Hermes · 2013
Term logic with choice operator
Hans Hermes · 2013
Einführung in die mathematische Logik
Hans Hermes · 2012
Enumerability · Decidability Computability
Hans Hermes · 2012
Introduction to Mathematical Logic (Universitext)
Hans Hermes · 1973
Eine Termlogik mit Auswahloperator
Hans Hermes · 1970
Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
Hans Hermes · 1967
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit
Hans Hermes · 2013