Analysis in a Formal Predicative Set Theory.

Nissan Levi, Arnon Avron

Browse the full WoLLIC paper archive.