織田幸弘 ⁄ pdfなど

日本語の文書

• 一階述語論理とそれを拡張した体系のおはなし ∼ 数理論理学の初歩から分離論理まで[pdf]
• 第３回関東すうがく徒のつどいの発表に使ったスライドの改良版.