2021年3月23日
Some Lifschitz-like realizability notions separating non-constructive principles
Fourth Workshop on Mathematical Logic and its Applications
- 開催年月日
- 2021年3月22日 - 2021年3月24日
- 記述言語
- 英語
- 会議種別
- 口頭発表(一般)
- 開催地
- Kanazawa, Japan
- 国・地域
- 日本