عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0792357205
NATIONAL BIBLIOGRAPHY NUMBER
Number
b524646
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Cut elimination in categories /
General Material Designation
[Book]
First Statement of Responsibility
Kosta Došen
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London :
Name of Publisher, Distributor, etc.
Kluwer Academic,
Date of Publication, Distribution, etc.
c1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 229 p. :
Other Physical Details
ill. ;
Dimensions
25 cm
SERIES
Series Title
Trends in logic : studia logica library ;
ISSN of Series
v.6
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Categories (Mathematics)
Elimination
Proof theory
DEWEY DECIMAL CLASSIFICATION
Number
512
.
4
Edition
21
PERSONAL NAME - PRIMARY RESPONSIBILITY
Došen, Kosta
ORIGINATING SOURCE
Date of Transaction
20000510133805.1
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
