@BOOK{ Book!D - 93069248,
AUTHOR = "/ Rowan Garnier, John Taylor",
TITLE = "mathematical proof",
LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره",
SUBJECT = "Proof theory,Logic, Symbolic and mathematical",
URL = "/book/93069248/mathematical-proof/"}