Norsk WebDewey
type: ConceptScheme

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

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

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

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