عنوان
پدید آورنده
موضوع
رده
P 25 .C28 No.28
P
25
.
C28
No
.
28
کتابخانه
محل استقرار
Normalization, cut-elimination, and the theory of proofs
Stanford, CA
Center for the Study of Language and
c1992
v, 236p.: ill
CSLI lecture notes; no.82
Bibliography: p. 229-233
ISBN: 0937073822
A.M. Ungar
1
، Proof theory
P
25
.
C28
No
.
28
Ungar, Anthony M., 5491-
AU
TI
SE
