簡潔性、実用性に卓越したクワインの『方法』を詳説、それに基づきゲーデルやチャーチの定理を含む、標準的な論理学を厳密に展開する。