عنوان
پدید آورنده
موضوع
رده
QA9.54 .L44 1990
QA9
.
54
.
L44
1990
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
(hardcover)
(Number (ISBN
052141413X
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof theory :
General Material Designation
[Book]
Other Title Information
a selection of papers from the Leeds Proof Theory Programme, 1990 /
First Statement of Responsibility
edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 306 p. ;
Dimensions
24 cm
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references
CONTENTS NOTE
Text of Note
Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Bucholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / Michael Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker
0
TOPICAL NAME USED AS SUBJECT
Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
54
Book number
.
L44
1990
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Aczel, Peter,1941-
Simmons, Harold
Wainer, S. S
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Leeds Proof Theory Programme(1990 :, Leeds University)
ORIGINATING SOURCE
Date of Transaction
19960724155118.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
