987 followers
これは重要でないこともなかったような./Fitting (1983), Proof Methods for Modal and Intuitionistic Logics https://t.co/bcWLKPpR0g #springerlink
これは重要でないこともなかったような./Fitting (1983), Proof Methods for Modal and Intuitionistic Logics https://t.co/bcWLKPpR0g #springerlink