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

Editore: Amsterdam, North-Holland Publishing Company, 1965

Riguardo questo articolo

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

Codice articolo 33297

Dati bibliografici

• Titolo: The Foundations of Intuitionistic Mathematics, especially in relation to recursive functions [Studies in Logic and the Foundations of Mathematics]
• Editore: Amsterdam, North-Holland Publishing Company
• Data di pubblicazione: 1965
• Rilegatura: Rilegato
• Cataloghi dei venditori:
  • Science (exact)