[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 adecuado. Se discuten las diferencias con la l?gica cl?sica est?ndar que la caracterizan. El tema siguiente lo constituyen los modelos de Kripke para la l?gica intuicionista, y tras ?l se tratan la aritm?tica y el an?lisis intuicionista. Finalmente se explican las secuencias de elecci?n libre de Brouwer. Hay una corta discusi?n del concepto de realizabilidad y del papel de la l?gica intuicionista en los sistemas formales intuicionistas. El art?culo concluye con una nueva clase de juegos para el c?lculo intuicionista proposicional introducido recientemente por Mezhirov.

[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 differences with standard classical logic are discussed. The next topic is formed by the Kripke models for intuitionistic logic, after which Intuitionistic arithmetic and analysis are treated. In the latter the role of Brouwer?s free choice sequences is explained. A short discussion is given of realizability and of the role of intuitionistic logic in intuitionistic formal systems. The paper concludes with a new kind of games for the intuitionistic propositional calculus recently introduced by Mezhirov.