Artículos

Lógica intuicionista

/

La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollad…