Concepedia

Intuitionistic analysis and G\"odel's interpretation

Mariko Yasugi

Journal of the Mathematical Society of Japan · 1963 · 17 citations · 1 references

DOIFull text

Open access

Concepts

References

1

On the fundamental conjecture of $GLC$ I.

Gaisi Takeuti · Journal of the Mathematical Society of Japan · 1955 · 46 citations · Full text

, , +8