عنوان
پدید آورنده
موضوع
رده
QA9.54 .G367 1996
QA9
.
54
.
G367
1996
کتابخانه
محل استقرار
0471961981
047196199X
IR
EB11839
انگلیسی
IR
mathematical proof
[Electronic Resource]
/ Rowan Garnier, John Taylor
Chichester ; New York
: Wiley,
, c1996.
viii, 317 p. ill. 25 cm.
e
ng
Includes bibliographical references (p. [273]-274) and index.
Proof theory
Logic, Symbolic and mathematical
511
.
3
QA9
.
54
.
G367
1996
Garnier, Rowan.
Taylor, John,1957-
ایران
0471961981.djvu
محرمانه
محرمانه
0471961981.djvu
0
5
old catalog
e
BL
1
a
Y
