On Skolem and Herbrand theorems for intuitionistic logic

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


Utgitt	Oslo : Matematisk institutt, Universitetet i Oslo , 1972
Omfang	23 s.
Opplysninger	Del av doktoravhandling (2/6). - Avhandling (doktorgrad) - Universitetet i Oslo, (1974?)
Emner	Automatisk bevisføring Deduksjon Kunnskapsrepresentasjon
Dewey	164
ISBN	8255300783

Biblioteksøk