Oración 1: lógicas superintuicionistas en Topos En este trabajo no estamos muy interesados en el estudio de lógicas superintuicionistas en topos
Oración 2: un co-local es un ret́ıculo distributivo completo que satisface a_ © iPI bi � © iPI a_ bi donde I es un conjunto arbitrario y a, bi son elementos del poset
Relación: neutral
Género: books