名古屋大学附属図書館




1

Grundzüge der theoretischen Logik

D. Hilbert und W. Ackermann. -- 5. Aufl. -- Springer, 1967. -- (Die Grundlehren der mathematischen Wissenschaften ; Bd. 27).