Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt

by Hans Hermes · 1 review · 1980

Reviewed by	Journal	Date	Access
Don Pigozzi	The Journal of Symbolic Logic	1980	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)
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