عنوان
پدید آورنده
موضوع
رده
QA 9.56 .F76 2005
QA
9
.
56
.
F76
2005
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9780198566 0198566514
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL0000000012397
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
From sets and types to topology and analysis
First Statement of Responsibility
edited by Laura Crossila and Peter Schuster
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Oxford
Name of Publisher, Distributor, etc.
Clarendon ; New York : Oxford University Press
Date of Publication, Distribution, etc.
,2005
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xix, 350 p. ill. 24 cm.
SERIES
Series Title
Oxford logic guides ;48
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
towards practicable foundations for constructive mathematics
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
غیرمرجع
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Constructive mathematics- Congresses
Entry Element
Constructieve wiskunde.- gtt
Entry Element
Analyse )wiskunde(- gtt
Entry Element
Topologie.- gtt
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
9
.
56
Classification Record Number
.
F76
2005
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
"This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Preface.
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Relator Code
AU
Entry Element
Crosilla, Laura.
Entry Element
Schuster, Peter,1966-
