Switch to: References

Add citations

You must login to add citations.
  1. Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic.Mitsuhiro Okada - 2008 - Annals of the Japan Association for Philosophy of Science 16 (1-2):1-17.