Nicht konstruktiv beweisbare Sätze der Analysis (1949)

by E Specker
Venue:J. Symbolic Logic