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
Philosophy
Logics
Symbolic logic
Type theory (Logic)
Natural science and mathematics
Mathemathics
Symbolic logic
Type theory (Logic)
Anbefalt term
Type theory (Logic)
Type
Topic
Overordnede begreper
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 begrepet
RDF/XML
TURTLE
JSON-LD
Opprettet 21.03.1994, sist endret 13.03.2024