Hopp til hovudinnhaldet

Søk i ordtilfang

Innhaldsspråk

Informasjon om omgrepet

Realfag > Matematikk > Symbolsk logikk > Formelle metodar
Filosofi (nb) > Logikk > Symbolsk logikk > Formelle metodar

Tilrådd term

Formelle metodar  

Type

  • Innholdsbeskrivende emne

Overordna omgrep

Tilvisingsterm

  • Formelle system

Identifikator

  • HUME62770

På andre språk

URI

http://data.ub.uio.no/humord/c62770

Last ned dette omgrepet:

RDF/XML TURTLE JSON-LD Oppretta 07.02.2024, sist endra 07.02.2024