RecordNumber

45973

LC Class

QA

LC Number

9

LC CutterNumber

.H46

LC Date

1971

Author

Heyting, A

Title

Intuitionism

Author Statement

[By] A. Heyting

Edition

[3d rev. ed.]

Publication

North-Holland Pub. Co.

Publication Year

1971

Collation

viii, 147 p. 23 cm

Series

Studies in logic and the foundations of mathematics

Subject

Intuitionistic mathematics

DocumentNumber

55001

SubTitle

an introduction

Index

Bibliography: p. [127]-141