2023.10.09
https://gyazo.com/d03b79fc7a003b72eea53db40f86e225
D. Prawitz; "Natural deduction. A proof-theoretical study"
前：
2023.10.08
後：
2023.10.10
#日報
メモ
https://www.mv.helsinki.fi/home/negri/ptml_final.pdf
様相論理の自然演繹
メモ
鈴木佑京; "ゲンツェンの洞察 ― 証明は列か, ツリーか？"
思った
ハイライトの無いベタ塗りの黒髪ガールが大好き．
読んだ
大西琢朗; "論理学上級Ⅱ, 様相論理のシークエント計算"
メモ
ymgyt; "NixOSとRaspberry Piで自宅serverシリーズ"
調べた:
Russellとパイプ