Eine Termlogik mit Auswahloperator

by Hans Hermes · 1 review · 1970

Reviewed by	Journal	Date	Access
Gert Heinz Müller	The Journal of Symbolic Logic	1970	Restricted

Metaphysics & Logic

Also by Hermes

Einführung in die mathematische Logik. Klassische Prädikatenlogik (2 reviews)
Aufzaehlbarkeit, Entscheidbarkeit, Berechenbarkeit (1 review)
Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen (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