Explorador del corpus

Lic. Waldo Karakas Garcilaso · Programa formal sobre la estructura del no-cierre en Ambientes formales · Núcleo vigente: Ax. 1, Def. 0–10, Teorema 0, Tipos₆, dispositivos I–VI