Symbolsk logikk
type: Innholdsbeskrivende emne
type: Concept
narrower: Konstruktiv matematikk
preferred label: Symbolic logic @en

Konstruktiv matematikk
type: Innholdsbeskrivende emne
type: Concept
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-03-26T00:00:00
modified: 2024-03-26T08:41:03
alternative label: Matematisk konstruktivisme
broader: Symbolsk logikk
editorial note: Lukket bemerkning: ubo24 @nb
in scheme: Humord
mapping relation: e23
preferred label: Constructive mathematics @en

Humord
type: ConceptScheme

Innholdsbeskrivende emne
type: Class
label: Topic @en