計算機科学の基礎である「数理論理学」と「ラムダ計算」に関する入門書。 ……という建前のもと、筆者の学部時代の講義ノートをベースとして、書きたいことを書けるだけ書いた本。 できるだけ多くの関連トピックに触れるため、傍注やコラム多めの構成。 ※こちらの商品は、B5判 44ページの技術系同人誌です。 ※画像の2枚目に目次があります。ご参考までに。 ※この商品は電子版（PDF）です。物理本（紙の本）をお求めの方は以下のページから（物理本には電子版もついてきます）。 https://nikosai.booth.pm/items/1569646