عنوان
پدید آورنده
موضوع
رده
QA 9.54 .T73
QA
9
.
54
.
T73
کتابخانه
محل استقرار
Basic proof theory
New York
Cambridge Univ. Press
1996
xi, 343 p
Cambridge tracts in theoretical computer science; 34
Bibliography: p. 309-330
ISBN 0521572231
A.S. Troelstra, H. Schwichtenberg
1
، Proof theory
QA
9
.
54
.
T73
CA
511
.
3
Troelstra, Anne Sjerp
AU
AU Schwichtenberg, Helmut, 1942-
TI
SE
