Burton Dreben and Akihiro Kanamori ‘Hilbert and Set Theory’ Marcus Kracht ‘Logic and Syntax −A Personal Perspective’

昨日の日記で入手した文献にコメントを添えました。