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