Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Metamathematical investigation of intuitionistic arithmetic and analysis
پدید آورنده
/ [by] A. S. Troelstra
موضوع
Intuitionistic mathematics,Proof theory,Model theory
رده
QA
9
.
47
.
T7
1973
کتابخانه
Library of College of Science University of Tehran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
61112616
-
66495290
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387064915
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
25674
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
/ [by] A. S. Troelstra
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer-Verlag
Date of Publication, Distribution, etc.
, 1973.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 486 p.
Other Physical Details
: ill. 24 cm.
SERIES
Series Title
(Lecture notes in mathematics
Volume Designation
; 344)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. [462]-475)
TOPICAL NAME USED AS SUBJECT
Intuitionistic mathematics
Proof theory
Model theory
DEWEY DECIMAL CLASSIFICATION
Number
510/
.
8
.
s
511/
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
47
Book number
.
T7
1973
PERSONAL NAME - PRIMARY RESPONSIBILITY
Troelstra, A. S. (Anne Sjerp)
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. College of Science Library
LOCATION AND CALL NUMBER
Call Number
510/.8 , .s 511/.3
old catalog
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal