foundations intuitionistic mathematics relation recursive von kleene stephen cole vesley richard (1 Ergebnisse)

cloth, 8vo viii+206 pp. in his intuitionistic analysis, L.E.J. Brouwer created a theory which diverges form classical mathematics and which in its details has not been widely known of understood; this book describes a formal system of intuitionistic analysis; various notuion of realizability; the intuitionistic continuum; very good condition (almost unused).