名古屋大学附属図書館




1

Einführung in die operative Logik und Mathematik

von Paul Lorenzen. -- Springer, 1955. -- (Die Grundlehren der mathematischen Wissenschaften ; Bd. 78).