next up previous
Next: Bibliography Up: Towards the Interpretability Logic Previous: Acknowledgments


Contents



Joost Joosten
2000-02-07