January 2022 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Sat Jan 1 10:05:25 JST 2022
Ending: Sat Jan 29 08:57:27 JST 2022
Messages: 8

• [kisoron-ml] substructural logics   logic
• [kisoron-ml] 再周知：2022年度奨励研究生の募集について（来週21日締め切り）   Masaru KADA
• [kisoron-ml] intuitionistic quantum logic   logic
• [kisoron-ml] Bertrand Russel   logic
• [kisoron-ml] noncommutative logic   logic
• [kisoron-ml] 2022年度年会における事前登録、着席確認システムについて   Masaru KADA
• [kisoron-ml] unityped, simply typed, and dependently typed   logic
• [kisoron-ml] injective types in univalent mathematics   logic

Last message date: Sat Jan 29 08:57:27 JST 2022
Archived on: Sat Jan 29 08:57:31 JST 2022

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...