Author: Hermes, Hans
Title: Eine Termlogik mit Auswahloperator
Description: Berlin / Heidelberg, Springer-Verlag, 1965. orig. wrappers. 30x21cm, 42 pp. Series: Lecture Notes in Mathematics, 6.. Spine chip. Minor wear. Good.

Keywords: Mathematics, Symbolic Logic, , , , , , ,