Skip to main
Skosmos
Vocabularies
About
Feedback
på bokmål
på nynorsk
Humord
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Sidebar listing: list and traverse vocabulary contents by a criterion
A-Z
Hierarchy
Groups
New
Filosofi
Logikk
Symbolsk logikk
Bevisteori
Realfag
Matematikk
Symbolsk logikk
Bevisteori
Filosofi
Filosofiske teorier
Bevisteori
Preferred term
Bevisteori
Type
Innholdsbeskrivende emne
Broader concept
Filosofiske teorier
Symbolsk logikk
Narrower concepts
Automatisk bevisføring
Matematisk bevisføring
Related concepts
Bevis
Identifier
HUME00688
In other languages
English
Proof theory
Norwegian Nynorsk
Provsteori
Bevisteori
URI
http://data.ub.uio.no/humord/c00688
Download this concept
RDF/XML
TURTLE
JSON-LD
Created 3/21/94, last modified 5/26/25