The foundations of intuitionistic mathematics
By: edited by Stephen Cole Kleene and Richard Eugene Vesley
Series: Studies in Logic and the Foundations of Mathematics -- v. 39; Studies in logic and the foundations of mathematics -- v. 39.
Publisher: North-Holland
Published: 1965
Place of publication: Amsterdam
Language: eng
Format: [electronic resource] /
Number of pages: 206
ISBN-13: 9780444534040
Subjects: Intuitionistic mathematics
Notes: Includes bibliographical references and index.

Description based on print version record.
Table of contents: title: Formal system of intuitionistic analysis / S.C. Kleene; title: Various notions of realizability / S.C. Kleene; title: Intuitionistic continuum / Richard E. Vesley; title: On order in the continuum / S.C. Kleene.