عنوان
پدید آورنده
موضوع
رده
QA 9.54 .A99T7
QA
9
.
54
.
A99T7
کتابخانه
محل استقرار
Tracking reason : proof, consequence, and truth
Oxford
Oxford University Press
c2006
vi, 248 p.
Bibliography: p.231-238
ISBN: 019518713X
Jody Azzouni
1
، Proof theory
، Logic, Symbolic and mathematical
QA
9
.
54
.
A99T7
NO
Azzouni, Jody, 4591-
AU
TI
