검색어: intuitionistic (포르투갈어 - 영어)

* intuitionistic logic.
* intuitionistic logic.

n.b: constructive = intuitionistic.
n.b: constructive = intuitionistic.

"intuitionistic type theory" bibliopolis.
"intuitionistic type theory" bibliopolis.

"the foundations of intuitionistic mathematics".
"the foundations of intuitionistic mathematics".

"intuitionistic reflections on formalism," 490-92.
l. e. j. brouwer: "intuitionistic reflections on formalism," 490-92.

"treatise on intuitionistic type theory" springer.
"treatise on intuitionistic type theory" springer.

"intuitionistic logic, model theory and forcing".
"intuitionistic logic, model theory and forcing".

(1959) axioms for intuitionistic plane affine geometry.
(1959) axioms for intuitionistic plane affine geometry.

on logics intermediate between intuitionistic and classical predicate logic.
on logics intermediate between intuitionistic and classical predicate logic.

* van dalen, dirk, 1986, "intuitionistic logic" in "the handbook of philosophical logic," vol.
* van dalen, dirk, 1986, "intuitionistic logic" in "the handbook of philosophical logic," vol.

em particular, existem outros tipos de interpretações que são usados no estudo de non-classical logic (como a intuitionistic logic), e no estudo da lógica modal.
in particular, there are other types of interpretations that are used in the study of non-classical logic (such as intuitionistic logic), and in the study of modal logic.

* luitzen egbertus jan brouwer, 1927(2), "intuitionistic reflections on formalism",with commentary, p. 490, van heijenoort* stephen c. kleene 1952 original printing, 1971 6th printing with corrections, 10th printing 1991, "introduction to metamathematics", north-holland publishing company, amsterdam ny, isbn 0-7204-2103-9.
* luitzen egbertus jan brouwer, 1927(2), "intuitionistic reflections on formalism",with commentary, p. 490, van heijenoort* stephen c. kleene 1952 original printing, 1971 6th printing with corrections, 10th printing 1991, "introduction to metamathematics", north-holland publishing company, amsterdam ny, isbn 0-7204-2103-9.