bn:03369248n
Noun Concept
Categories: 述語論理, 数学に関する記事, 数理論理学
JA
高階述語論理  高階論理
JA
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。 Wikipedia
Definitions
Relations
Sources
JA
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。 Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikipedia Translations