عنوان
پدید آورنده
موضوع
رده
QA9.54 .U54 1992
QA9
.
54
.
U54
1992
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0937073822
(Number (ISBN
0937073830
(Number (ISBN
9780937073827
(Number (ISBN
9780937073834
NATIONAL BIBLIOGRAPHY NUMBER
Number
b725966
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Normalization, cut-elimination, and the theory of proofs /
General Material Designation
[Book]
First Statement of Responsibility
A.M. Ungar.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Stanford, CA :
Name of Publisher, Distributor, etc.
CSLI,
Date of Publication, Distribution, etc.
©1992.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v, 236 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm.
SERIES
Series Title
CSLI lecture notes ;
Volume Designation
no. 28
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 229-233) and index.
CONTENTS NOTE
Text of Note
1. Background -- 2. Comparing NJ with LJ -- 3. Natural Deduction Revisited -- 4. The Problem of Substitution -- 5. A Multiple-Conclusion Calculus -- 6. Reduction Procedures -- 7. Correspondence Results -- 8. Interpretations of Derivations -- App. A: A Strong Cut-Elimination Theorem for LJ -- App. B: A Formulation of the Classical Sequent Calculus -- App. C: Proofs and Categories.
0
TOPICAL NAME USED AS SUBJECT
Proof theory.
Beweistheorie
Bewijstheorie.
Proof theory.
Proof theory.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
54
Book number
.
U54
1992
OTHER CLASS NUMBERS
Class number
*
03F05
Class number
03-02
Class number
03A05
Class number
03F07
Class number
31
.
10
Class number
33
.
10
Class number
SK
130
System Code
msc
System Code
msc
System Code
msc
System Code
msc
System Code
bcl
System Code
bcl
System Code
rvk
PERSONAL NAME - PRIMARY RESPONSIBILITY
Ungar, A. M., (Anthony M.),1945-
ORIGINATING SOURCE
Date of Transaction
20201213193521.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
