Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00932534n
Noun Concept
Categories: Sistemas lógicos
ES
lógica intuicionista  Logica intuicionista  lógica constructiva
ES
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. Wikipedia
Definitions
Relations
Sources
ES
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. Wikipedia
IS A
tecnicismo
HAS KIND
lógica lineal
EN
intermediate logic
DESCRIBED BY SOURCE
Enciclopedia soviética armenia
DIFFERENT FROM
intuicionismo
FACET OF
lógica
STUDIED BY
lógica
Wikipedia
ES
lógica intuicionista
Wikidata
ES
lógica intuicionista
Wikipedia Redirections
ES
Logica intuicionista, Logica Intuicionista, Lógica Intuicionista
Wikidata Alias
ES
lógica constructiva
Wikipedia Translations
ES
lógica constructiva, lógica intuicionista

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License