Format:
Online Ressource (vi, 206 pages)
,
illustrations.
Edition:
Online-Ausg.
ISBN:
0444534040
,
9780444534040
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 39
Content:
Formal system of intuitionistic analysis / S.C. Kleene -- Various notions of realizability / S.C. Kleene -- Intuitionistic continuum / Richard E. Vesley -- On order in the continuum / S.C. Kleene
Note:
Includes bibliographical references and index. - Print version record
,
Formal system of intuitionistic analysis
,
Various notions of realizability
,
Intuitionistic continuum
,
On order in the continuum
Additional Edition:
ISBN 0444534040
Language:
English
Keywords:
Electronic books
;
Electronic books
URL:
Volltext
(lizenzpflichtig)
