booktheque

Eine Termlogik mit Auswahloperator

Hans Hermes · 1970

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
1970
Publisher
Springer Berlin Heidelberg
Editions
1
Pages
48
ISBN
9783540048992

Data source: Wikidata

More by 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