عنوان
پدید آورنده
موضوع
رده
510 .8 L471 No.212
510
.
8
L471
No
.
212
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
206101
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
Proof theory and intuitionistic systems
General Material Designation
[book]
First Statement of Responsibility
/ Bruno Scarpellini
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer-Verlag
Date of Publication, Distribution, etc.
، 1971
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 291p
SERIES
Series Title
Lecture notes in mathematics; 212
Series Title
Lecture notes in mathematics(Berlin)212
GENERAL NOTES
Text of Note
Bibliography: p. [291]
TOPICAL NAME USED AS SUBJECT
Entry Element
Intuitionistic mathematics
Entry Element
Proof theory
DEWEY DECIMAL CLASSIFICATION
Number
510
.
8
L471
No
.
212
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
3
.
L28
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
Scarpellini, Bruno
Relator Code
author
ORIGINATING SOURCE
Country
ایران
LOCATION AND CALL NUMBER
Call Number
QA 3 .L28
Previous cataloging
BL
1
Y
