January 2014 Archives by date

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

Starting: Tue Jan 7 22:49:42 JST 2014
Ending: Thu Jan 30 12:13:54 JST 2014
Messages: 7

• [kisoron-ml] Computability Theory and Foundations of Mathematics 2014   YOKOYAMA Keita
• [kisoron-ml] 「プロセスとしての証明に関するワークショップ」について   Norbert Preining
• [kisoron-ml] Fwd: Computability Theory and Foundations of Mathematics 2014   YOKOYAMA Keita
• [kisoron-ml] Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (21st and 22nd of Feb. 2014)   Katsuhiko Sano
• [kisoron-ml] ラムダ計算と論理の早春セミナー (3/6--3/10)   Fujita Kenetsu
• [kisoron-ml] Sendai Logic School 2014 at Tokyo Tech   Takeshi Yamazaki
• [kisoron-ml] Vienna Summer of Logic   Norbert Preining

Last message date: Thu Jan 30 12:13:54 JST 2014
Archived on: Thu Jan 30 12:14:03 JST 2014

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