TY  - JOUR 
AU  - de Jongh, Dick
PY  - 2006
SN  - 0213-3563
UR  - http://hdl.handle.net/10366/68887
AB  - [ES] Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural...
AB  - [EN] After a historical introduction to intuitionism as a philosophy of Mathematics intuitionistic logic is introduced. We start with its basis in the BHK-interpretation, and continue with the corresponding natural deduction rules. The characteristic...
LA  - spa
PB  - Ediciones Universidad de Salamanca (España)
KW  - Filosofía
KW  - Philosophy
TI  - Intuicionismo
ER  -