Skip to main
Skosmos
Vokabular
Informasjon
Tilbakemelding
på bokmål
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
A-Å
Hierarki
Grupper
Nye
Realfag
Matematikk
Symbolsk logikk
Typeteori
Filosofi
Logikk
Symbolsk logikk
Typeteori
Tilrådd term
Typeteori
Type
Innholdsbeskrivende emne
Overordna omgrep
Symbolsk logikk
Tilvisingsterm
Typeendring
Typeforandring
Typesjekking
Identifikator
HUME00726
På andre språk
engelsk
Type theory (Logic)
norsk bokmål
Typeteori
URI
http://data.ub.uio.no/humord/c00726
Last ned dette omgrepet
RDF/XML
TURTLE
JSON-LD
Oppretta 21.03.1994, sist endra 13.03.2024