Post on 20-Oct-2018
Unidad 7
Lógica Cuantificacional Superior
7.1 La ampliación del lenguaje lógico7.2 Las paradojas lógicas7.3 Soluciones a las paradojas lógicas7.4 Teoría intencional de los tipos7.5 Teoría extensional de los tipos7.6 Las paradojas metalógicas