The rules-as-types interpretation of Schroder-Heister's extension of natural deduction



Document title: The rules-as-types interpretation of Schroder-Heister's extension of natural deduction
Journal: Manuscrito
Database: CLASE
System number: 000172661
ISSN: 0100-6045
Authors:
Year:
Season: Oct
Volumen: 22
Number: 2
Pages: 149-163
Country: Brasil
Language: Inglés
Document type: Artículo
Approach: Teórico
Disciplines: Filosofía,
Literatura y lingüística
Keyword: Lógica,
Semántica y semiótica,
Deducción natural,
Schroder-Heister, P,
Intuición,
Semántica operativa
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).