Perspectives on proof theory : logical, computational and philosophical

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] : Institute of Informatics, University of Oslo , 1992
Omfang	220 s. : fig.
Opplysninger	Avhandling (dr. scient.) - Universitetet i Oslo, 1992
Emner	Informatikk matematikk programmering bevisteori
Dewey	511.3
ISBN	8273680800

Biblioteksøk