Professional Documents
Culture Documents
(~~A A) tampoco.
(P Q) no es equivalente a (~P v Q)
Contraejemplos brouwerianos
En lgica:
Brouwer
Intuitionistic logic
Libros:
Intuitionism
Intuitionistic logic
Ultrafinitism
Alexander Esenin-Volpin
Gerhard Gentzen
Arend Heyting