booktheque

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Hans Hermes · 2013

איפה לקנות

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

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

פרטי הספר

שנה
2013
שפה
German
הוצאה
Springer London, Limited
מהדורות
1
ISBN
9783642953279

מקור הנתונים: 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
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes · 1978
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