A Philosophically Plausible Formal Interpretation of Intuitionistic Logic

Andrzej Grzegorczyk

Indagationes Mathematicae (Proceedings) · 1964 · 83 citations · 2 references

Concepts

References

2