Polymorphic Π₁ types and a simple approach to propositions, types and sets

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] : University of Oslo, Department of Mathematics : Unipub , 2007
Omfang	196 s. : ill.
Opplysninger	Avhandling (dr.scient.) - Universitetet i Oslo, 2007
Emner	Matematikk doktoravhandlinger matematikk polymorfisme
Dewey	511.3

Biblioteksøk