Umfang:
Online Ressource (vi, 206 pages)
,
illustrations.
Ausgabe:
Online-Ausg.
ISBN:
0444534040
,
9780444534040
Serie:
Studies in Logic and the Foundations of Mathematics v. 39
Inhalt:
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
Anmerkung:
Includes bibliographical references and index. - Print version record
,
Formal system of intuitionistic analysis
,
Various notions of realizability
,
Intuitionistic continuum
,
On order in the continuum
Weitere Ausg.:
ISBN 0444534040
Sprache:
Englisch
Schlagwort(e):
Electronic books
;
Electronic books
URL:
Volltext
(lizenzpflichtig)