عنوان
پدید آورنده
موضوع
رده
QA 9.54 .G58
QA
9
.
54
.
G58
کتابخانه
محل استقرار
Proofs and types
Cambridge
Cambridge Univ. Press
1990, c1989
xi, 176p
Cambridge tracts in theoretical computer science; 7
Bibliography: p.162-165
ISBN: 0521371813
Jean-Yves Girard; translated and with appendices by Paul Taylor, Yves Lafont
1
2
، Proof theory
QA
9
.
54
.
G58
Girard, Jean-Yves
AU
TI
SE
