logicの技術書 (3 冊)

計算とは何か

計算とは何か著者不明

The Non-aligned Movement

The Non-aligned Movement著者不明数学ガール／ゲーデルの不完全性定理著者不明