Noen modellteoretiske algoritmer

André Rognes
Bok · Bokmål · 1993

Utgitt	Oslo : [A. Rognes] , 1993
Omfang	47 bl.
Opplysninger	Hovedoppgave i matematikk - Universitetet i Oslo, 1993
Emner	hovedoppgaver matematikk matematisk logikk modell teori generering automatisk resonering