2005-07-13 ■ 入手文献 入手文献 Burton Dreben and Akihiro Kanamori ‘Hilbert and Set Theory’ Marcus Kracht ‘Logic and Syntax −A Personal Perspective’