Mitsuhiro Okada “Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic,” in: Annals of the Japan Association for Philosophy of Science, vol. 16, no. 1 and 2…

疲れているので、入手した文献名を記すだけにしておきます。