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
Natural science and mathematics
Mathemathics
Symbolic logic
Type theory (Logic)
Philosophy
Logics
Symbolic logic
Type theory (Logic)
Tilrådd term
Type theory (Logic)
Type
Topic
Overordna omgrep
Symbolic logic
Identifikator
HUME00726
På andre språk
norsk bokmål
Typeteori
norsk nynorsk
Typeteori
Typeendring
Typeforandring
Typesjekking
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