عنوان
پدید آورنده
موضوع
رده
QA 9.54 .T73 2000
QA
9
.
54
.
T73
2000
کتابخانه
محل استقرار
Basic proof theory
Cambridge
Cambridge Univ. Press
c2000
xii, 417 p.: ill
Cambridge tracts in theoretical computer science; 34
Bibliography: p. 379-403
ISBN: 0521779111
A.S. Troelstra, H. Schwichtenberg
1
2
، Proof theory
QA
9
.
54
.
T73
2000
Troelstra, Anne Sjerp
AU
AU Schwichtenberg, Helmut, 1942-
TI
SE
