現時点での数学は [代数トポロジー / ホモトピー論] 岩波位相幾何学 I で, adjunction space と mapping cylinder, mapping cone のあたりまでやりました. G.W. Whitehead 著『Elements of Homotopy Theory』の記述も参考にしていました. [ブルバキ数学原論 …

ちょっと duckduckgo で検索してみました。 検索キーワードは『数理論理学入門 pdf』 検索結果はこちら https://duckduckgo.com/?q=%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6%E5%85%A5%E9%96%80+pdf&t=h_&ia=web pdf 閲覧ソフトのサイトばっかり出てき…