Proof validation in real analysis: Inferring and checking warrants

Lara Alcock, Keith Weber

The Journal of Mathematical Behavior · 2005 · 108 citations · 16 references

Concepts

References

16