Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra

Englisch

Oxford [Eng.] : Clarendon Press, 1977

IX, 170 S.

Bibliography: p. [161]-167

Includes index

0-19-853163-X

*Folge / Intuitionistische Mathematik / Verallgemeinerung

*Intuitionistische Mathematik

*Logik / Intuitionismus

*Intuitionistic mathematics ; Sequences (Mathematics)

Klassifikation der Library of Congress: QA246.5

Dewey Dezimal-Klassifikation: 515.242 ; 515/.242 ; 511/.2 ; 511/.2 ; 515/.242

Regensburger Verbund-Klassifikation: CC 2600: CA-CK Philosophie / CC Systematische Philosophie / Abhandlungen zur Logik und mathematischen Grundlagenforschung

Regensburger Verbund-Klassifikation: SK 130: Logik und Grundlagen, Metamathematik,

Potsdamer Straße