ゲーデルと20世紀の論理学1

ゲーデルを筆頭に，多くの傑出した数学者や哲学者が誕生した20世紀．それぞれがしのぎを削り，優れた技法を開発し内容を深めることによって，論理学は「ロジック」へと発展していく——日本を代表するロジシャンが，自らの体験をふまえ，その生きた姿を語る．ゲーデルと20世紀の論理学【全４巻】