30 followers
@mlrl16 @yourhammergirl Feferman, Solomon. "BErWEEN CONSTRUCTIVE AND CLASSICAL MATHEMATICS." and Proof Theory Part II (1983): 143. https://t.co/NSaqBLfm4u
@mlrl16 @yourhammergirl Feferman, Solomon. "BErWEEN CONSTRUCTIVE AND CLASSICAL MATHEMATICS." and Proof Theory Part II (1983): 143. https://t.co/NSaqBLfm4u
@mlrl16 @yourhammergirl Feferman, Solomon. "Between constructive and classical mathematics." Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. h