Symbolsk logikk
type: Innholdsbeskrivende emne
type: Concept
narrower: Førsteordens logikk
preferred label: Symbolic logic @en

Førsteordens logikk
type: Concept
type: Innholdsbeskrivende emne
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-01-26T00:00:00
modified: 2024-01-26T13:06:48
alternative label: Fyrsteordens logikk
broad match: e23
broader: Symbolsk logikk
editorial note: Lukket bemerkning: ubo24 @nb
in scheme: Humord
mapping relation: e23
preferred label: First order logic @en
related match: e23

Humord
type: ConceptScheme

Innholdsbeskrivende emne
type: Class
label: Topic @en