オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...

原題は、 Language, Proof and Logic 慶應義塾大学出版会株式会社が刊行した、 スタンフォード大が提供しているthe Language, Proof...