typteori
typteori, teori inom logik och matematisk grundvalsforskning som opererar med olika typer (se typ). De mängdteoretiska paradoxerna (se mängdteori, Axiomatisk
(20 av 141 ord)
Vill du få tillgång till hela artikeln?
Källangivelse
Nationalencyklopedin,
typteori.
http://www.ne.se/uppslagsverk/encyklopedi/lång/typteori