Nicht Konstruktiv Beweisbare Satze Der Analysis

Ernst Specker. Nicht Konstruktiv Beweisbare Satze Der Analysis. Journal of Symbolic Logic, 14(3):145-158, 1949.

Abstract

Abstract is missing.