まず書籍。 Per Martin-Löf Intuitionistic Type Theory, Bibliopolis, Studies in Proof Theory Lecture Notes, vol. 1, 1984 (electronic version) Alain Lecomte Meaning, Logic and Ludics, Imperial College Press, 2011 Leon Horsten The Tarskian Tur…