Heyting, A.
Intuitionism. An Introduction / A. Heyting . - 3ª ed. . - Amsterdam-Oxford : North Holland , 1976 . - X,138 p.; 22 cm. - Studies in Logic and the Foundations of Mathematics .
Intuicionismo
Intuitionism. An Introduction / A. Heyting . - 3ª ed. . - Amsterdam-Oxford : North Holland , 1976 . - X,138 p.; 22 cm. - Studies in Logic and the Foundations of Mathematics .
Intuicionismo