عنوان
پدید آورنده
موضوع
رده
QA 9 .H49I5
QA
9
.
H49I5
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Intuitionism : An introduction
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland Pub. Co.
Date of Publication, Distribution, etc.
1976, c1971
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 147 p
SERIES
Other Title Information
Studies in logic and the foundations of mathematics
GENERAL NOTES
Text of Note
Bibliography: p. ]127[-141
Text of Note
ISBN: 0720422639
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
A. Heyting
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Intuitionistic mathematics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
H49I5
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Heyting, Arend, 8981-0891
Relator Code
AU
TI
SE
