971 followers
多分どうでもいいが一応メモ./Gabbay (1981), Semantical Investigations in Heyting’s Intuitionistic Logic https://t.co/OiY6AfIIfo #springerlink
多分どうでもいいが一応メモ./Gabbay (1981), Semantical Investigations in Heyting’s Intuitionistic Logic https://t.co/OiY6AfIIfo #springerlink