عنوان
پدید آورنده
موضوع
رده
QA،303،.G4,P5
QA
،
303
،.
G4
,
P5
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0521371813
OTHER STANDARD IDENTIFIER
Standard Number
849
English Book
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
نگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proofs and Types
First Statement of Responsibility
Jean-Yves Girard,Paul Taylor,Yves Lafont
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
Cambridge university press
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
176 p
GENERAL NOTES
Text of Note
Title
NOTE RELATING TO THE COPY IN HAND
Text of Note
000
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Includes bibliographical references :p.162-165
TOPICAL NAME USED AS SUBJECT
Entry Element
Calculus
DEWEY DECIMAL CLASSIFICATION
Number
515
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
303
Classification Record Number
.
G4
,
P5
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Girard,Jean-Yves
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Taylor,Paul
Entry Element
Lafont ,Yves
Relator Code
joint author
Relator Code
joint author
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
1
یرمرجع
