Humord
type: ConceptScheme

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

Konstruktiv matematikk
type: Innholdsbeskrivende emne
type: Concept
created: 2024-03-26T00:00:00
modified: 2024-03-26T08:41:03
alternative label: Matematisk konstruktivisme
broader: Symbolic logic
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
preferred label: Constructive mathematics @en

Innholdsbeskrivende emne
type: Class
label: Topic @en