عنوان
پدید آورنده
موضوع
رده
511 .3 G236O 1996
511
.
3
G236O
1996
کتابخانه
محل استقرار
195115
انگلیسی
IR
100% mathematical proof
[book]
/ Rowan Garnier, John Taylor
Chichester
: Wiley
، 1996
viii, 317 p.
: ill. ; 25 cm
Includes bibliographical references (p. (273)-274) and index
Proof theory
Logic, Symbolic and mathematical
511
.
3
G236O
1996
QA
9
.
54
.
G367
1996
Taylor, John
1957-
Garnier, Rowan
، 1957-
creator
author
ایران
QA 9.54 .G367 1996
Previous cataloging
BL
1
Y
