Skip to main
Skosmos
Vokabularer
Informasjon
Tilbakemelding
på nynorsk
in English
Humord
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Sidefelt: navigér i vokabularet på ulike måter
A-Å
Hierarki
Grupper
Nye
Filosofi
Logikk
Symbolsk logikk
Bevisteori
Realfag
Matematikk
Symbolsk logikk
Bevisteori
Filosofi
Filosofiske teorier
Bevisteori
Anbefalt term
Bevisteori
Type
Innholdsbeskrivende emne
Overordnede begreper
Filosofiske teorier
Symbolsk logikk
Underordnede begreper
Automatisk bevisføring
Matematisk bevisføring
Relaterte begreper
Bevis
Identifikator
HUME00688
På andre språk
engelsk
Proof theory
norsk nynorsk
Provsteori
Bevisteori
URI
http://data.ub.uio.no/humord/c00688
Last ned dette begrepet
RDF/XML
TURTLE
JSON-LD
Opprettet 21.03.1994, sist endret 26.05.2025