عنوان
پدید آورنده
موضوع
رده
QA 9 .J22
QA
9
.
J22
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Categorical logic and type theory
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
Elsevier
Date of Publication, Distribution, etc.
c1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 760 p.: ill., tables
SERIES
Other Title Information
Studies in logic and the foundations of mathematics; 141
GENERAL NOTES
Text of Note
Bibliography: p.717-733
Text of Note
ISBN: 0444501703
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Bart Jacobs
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Type theory
Entry Element
، Categories )Mathematics(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
J22
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Jacobs, Bart
Relator Code
AU
TI
SE
