Papers on weak first-order theories and decidability problems

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Omfang	xii, 268 sider : figurer
Opplysninger	Delvis opptrykk av artikler. - Avhandling (ph.d.) - Universitetet i Oslo, 2023
Emner	Avgjørbarhet Førsteordens logikk Gödels ufullstendighetsteoremer
Sjanger	Doktoravhandlinger
Dewey	511.3

Biblioteksøk