Matematisk logikk (symbolsk logikk)
type: Concept
narrower: Bevisteori og konstruktiv matematikk
notation: 511.3

Bevisteori og konstruktiv matematikk
type: Concept
including: Intuisjonistisk matematikk
including: Intuisjonistisk logikk
created: 2010-02-04
modified: 2018-07-26
alternative label: Intuisjonistisk matematikk
alternative label: Intuisjonistisk logikk--matematisk logikk
alternative label: Bevisteori--matematisk logikk
alternative label: Konstruktiv matematikk
broader: Matematisk logikk (symbolsk logikk)
in scheme: Norsk WebDewey
narrow match: c006120
narrower: Bevisteori--matematisk logikk--utdanning, …
narrower: Automatisk teorembevis
notation: 511.36
related match: c009781
related match: c00711
related match: c13368

Automatisk teorembevis
type: Concept
broader: Bevisteori og konstruktiv matematikk
notation: 511.36028563

Bevisteori--matematisk logikk--utdanning, …
type: Concept
broader: Bevisteori og konstruktiv matematikk
notation: 511.36071

Norsk WebDewey
type: ConceptScheme