عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
8870881660
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof theory of impredicative subsystems of analysis /
General Material Designation
[Book]
First Statement of Responsibility
Wilfried Buchholz, Kurt Schütte
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
122 pages ;
Dimensions
25 cm
SERIES
Series Title
Studies in proof theory ;
Volume Designation
2
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography: pages 121-122
TOPICAL NAME USED AS SUBJECT
Mathematical analysis
Proof theory
PERSONAL NAME - PRIMARY RESPONSIBILITY
Buchholz, Wilfried,1948-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Schütte, K., (Kurt)
ORIGINATING SOURCE
Date of Transaction
19920213150608.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
