next up previous contents
Next: The new situation Up: Towards the Interpretability Logic Previous: The arithmetical validity of P

Concluding



 

Joost Joosten
2000-02-07