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