Term logic with choice operator. A revised and enlarged translation of XXXV 440

by Hans Hermes · 1 review · 1971

Reviewed by	Journal	Date	Access
Perry Smith	The Journal of Symbolic Logic	1971	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)
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)

Search PhilReviews for this title