عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .G367 1996
QA
9
.
54
.
G367
1996
کتابخانه
محل استقرار
100% mathematical proof
Chichester ; New York
Wiley
c1996
viii, 317 p. : ill. ; 25 cm.
Includes bibliographical references )p. ]273[-274( and index
Rowan Garnier, John Taylor
2
، Proof theory
، Logic, Symbolic and mathematical
511
.
3
QA
9
.
54
.
G367
1996
Garnier, Rowan.
AU
AU Taylor, John 1957-
TI
