A proof theoretic characterization of the Kalmar elementary functions

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 Informatics , 1996
Omfang	36 s.
Opplysninger	Elektronisk reproduksjon
Emner	predikatlogikk bevisføring elementære funksjoner
ISBN	8273681246

Biblioteksøk