عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .T76 2000
QA
9
.
54
.
T76
2000
کتابخانه
محل استقرار
132169
زمستان۱۸
English
)20(
Troelstra, A. S. )Anne Sjerp(
Basic proof theory
Cambridge
Cambridge University Press
2000
xii, 417 p.: ill.; 23 cm
Cambridge tracts in theoretical computer science
43
Includes bibliographical references and index
2nd ed
، Proof theory
QA
9
.
54
.
T76
2000
AU
A.S. Troelstra, H. Schwichtenberg
AU tumleH ,grebnethciwhcS 1942-
TI
SE
02
