October 2021 Archives by date

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

Starting: Fri Oct 1 05:26:59 JST 2021
Ending: Sat Oct 30 17:12:27 JST 2021
Messages: 11

• [kisoron-ml] Frege's fifth basic law of thought   logic
• [kisoron-ml] [logic-ml] Frege's fifth basic law of thought   logic
• [kisoron-ml] RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」のご案内   Hirotaka Kikyo
• [kisoron-ml] infinity-categories   logic
• [kisoron-ml] univalent foundations   logic
• [kisoron-ml] 2-dimensional categories   logic
• [kisoron-ml] （推薦求む）2022春の学会の企画特別講演・分科会特別講演   Masaru KADA
• [kisoron-ml] 「論理・代数系・言語と計算機科学の周辺領域」の講演募集、12/3申込締切   Munehiro Iwami
• [kisoron-ml] Fwd: Anand's 70th   kota takeuchi
• [kisoron-ml] 2022年度日本数学会年会の対面開催について（周知）   Masaru KADA
• [kisoron-ml] RIMS共同研究（公開型）「証明と計算の理論と応用」のご案内（Reminder）   ikeda

Last message date: Sat Oct 30 17:12:27 JST 2021
Archived on: Sat Oct 30 17:12:37 JST 2021

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