LLAL@GSIS

Logic, logic, and logic at the Graduate School of Information Sciences, Tohoku University