Can you add power-sets to Martin-Löf intuitionistic set theory? (2000)

Cached

Download Links

by Maria Emilia Maietti , Silvio Valentini
Citations:7 - 2 self