next up previous
Next: Introduction Up: A Calculator for Exact Previous: Acknowledgements


Contents



Martin Escardo
5/11/2000