名古屋大学附属図書館




1

Einführung in die mathematische Logik : Klassische Prädikatenlogik

von Hans Hermes. -- B.G. Teubner, c1963. -- (Mathematische Leitfäden).