booktheque

Eine Termlogik mit Auswahloperator

Hans Hermes · 1970

איפה לקנות

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

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

פרטי הספר

שנה
1970
הוצאה
Springer Berlin Heidelberg
מהדורות
1
עמודים
48
ISBN
9783540048992

מקור הנתונים: 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
Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
Hans Hermes · 1967
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit
Hans Hermes · 2013