A minimalist two-level foundation for constructive mathematics (811)

Cached

Download Links

by Maria Emilia Maietti
Citations:2 - 1 self