Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen

by Hans Hermes · 1 review · 1966

Reviewed by	Journal	Date	Access
Kurt Schütte	The Journal of Symbolic Logic	1966	Restricted

Metaphysics & Logic

Also by Hermes

Einführung in die mathematische Logik. Klassische Prädikatenlogik (2 reviews)
Aufzaehlbarkeit, Entscheidbarkeit, Berechenbarkeit (1 review)
Eine Termlogik mit Auswahloperator (1 review)
Einführung in die Verbandstheorie (1 review)
Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt (1 review)
Person und Wert: Schelers Formalismus: Perspektiven und Wirkungen (1 review)
Posthumous Writings (1 review)
Term logic with choice operator. A revised and enlarged translation of XXXV 440 (1 review)

Search PhilReviews for this title