数学基礎論入門 復刊

不完全性定理についてのゲーデルの理論を精密に紹介。ゲーデルの原論文に採用されている体系をそのまま用いる。初学者が論理計算の実際を知り、また記号論理の実質的な意味を理解するための入門書。