Upload
hoangthuan
View
215
Download
0
Embed Size (px)
Citation preview
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