bn:00713519n
Noun Concept
Categories: Teoria da computação, Lógica matemática
PT
lógica combinatória
PT
Lógica combinatória é uma notação introduzida por Moses Schönfinkel e Haskell Curry para eliminar a necessidade de variáveis em lógica matemática. Wikipedia
Definitions
Relations
Sources
PT
Lógica combinatória é uma notação introduzida por Moses Schönfinkel e Haskell Curry para eliminar a necessidade de variáveis em lógica matemática. Wikipedia
Wikipedia
Wikidata
Wikipedia Translations