Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel
by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn · 1 review · 1972