عنوان
پدید آورنده
موضوع
رده
QA,9.54,.G367,1996
QA
,
9
.
54
,.
G367
,
1996
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
English Book
100
mathematical proof
Rowan Garnier, John Taylor
Chichester
John Wiley
viii, 317 P.; 24 c.m
Includes index
Proof theory
Logic, symbolic and mathematical
QA
,
9
.
54
,.
G367
,
1996
Garnier, Rowan
Taylor, John
Title
