Extensional Gödel functional interpretation : a consistency proof of classical analysis

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	Berlin : Springer , 1973
Omfang	161 s.
Emner	Intuitionistic mathematics Proof theory
ISBN	0387061193. - 3540061193

Biblioteksøk