عنوان
پدید آورنده
موضوع
رده
QA9.54 .U54 1992
QA9
.
54
.
U54
1992
کتابخانه
محل استقرار
0937073822
0937073830
9780937073827
9780937073834
b725966
Normalization, cut-elimination, and the theory of proofs /
[Book]
A.M. Ungar.
Stanford, CA :
CSLI,
©1992.
v, 236 pages :
illustrations ;
24 cm.
CSLI lecture notes ;
no. 28
Includes bibliographical references (pages 229-233) and index.
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
Proof theory.
Beweistheorie
Bewijstheorie.
Proof theory.
Proof theory.
511
.
3
20
QA9
.
54
.
U54
1992
*
03F05
03-02
03A05
03F07
31
.
10
33
.
10
SK
130
msc
msc
msc
msc
bcl
bcl
rvk
Ungar, A. M., (Anthony M.),1945-
20201213193521.0
مطالعه متن کتاب [Book]
Y
