عنوان
پدید آورنده
موضوع
رده
510 .8 Me
510
.
8
Me
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
206122
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Metamathematical investigation of intuitionistic arithmetic and analysis
General Material Designation
[book]
First Statement of Responsibility
/ A. S. Troelstra
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: [s.n.]
Date of Publication, Distribution, etc.
، 1973, 1973
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 485 p.
Other Physical Details
: ill
SERIES
Series Title
Lecture notes in mathematics; 344
GENERAL NOTES
Text of Note
Bibliography: p. [462]-475
TOPICAL NAME USED AS SUBJECT
Entry Element
Intutitionistic mathematics
Entry Element
Proof Theory
Entry Element
Model Theory
DEWEY DECIMAL CLASSIFICATION
Number
510
.
8
Me
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
Troelstra, Anne Sjerp
Relator Code
creator
ORIGINATING SOURCE
Country
ایران
LOCATION AND CALL NUMBER
Call Number
510 .8 Me
Previous cataloging
BL
1
Y
