Why topology in the minimalist foundation must be pointfree

Logic and Logical Philosophy, Tom 22, Numer 2 (2013) s. 167-199
Maria Emilia Maietti, Giovanni Sambin

 

do góry