The Foundations of Intuitionistic Mathematics, especially in relation to recursive functions [Studies in Logic and the Foundations of Mathematics]

Kleene, Stephen Cole; Vesley, Richard Eugene

Edité par Amsterdam, North-Holland Publishing Company, 1965

A propos de cet article

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).

N° de réf. du vendeur 33297

Détails bibliographiques

• Titre: The Foundations of Intuitionistic Mathematics, especially in relation to recursive functions [Studies in Logic and the Foundations of Mathematics]
• Éditeur: Amsterdam, North-Holland Publishing Company
• Date de parution: 1965
• Reliure: Couverture rigide
• Catalogues du vendeur:
  • Science (exact)