Symbolic logic
type: Innholdsbeskrivende emne
type: Concept
narrower: Kombinatorisk logikk
preferred label: Symbolsk logikk

Humord
type: ConceptScheme

Kombinatorisk logikk
type: Concept
type: Innholdsbeskrivende emne
created: 2024-03-26T00:00:00
modified: 2024-03-26T07:24:33
broader: Symbolic logic
definition: Kombinatorisk logikk er en form for notasjon i matematikk oppfunnet av Moses Schönfinkel med fordypning av Haskell Curry. <wikipedia>
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
preferred label: Combinatorial logic @en

Innholdsbeskrivende emne
type: Class
label: Topic @en