『現代数理論理学序説』ノート（随時更新）

公式サイト（解答例・正誤表）
http://komoriyuichi.web.fc2.com/gendaisuurironrigaku/

p80「公理型B,C,K,W,L3,N」
――L3やNは本書で言及がないが、著者の実施した試験問題には登場している。
http://komoriyuichi.web.fc2.com/jyugyou/zyouhou4.pdf