名古屋大学附属図書館




1

Grundzüge der theoretischen Logik

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