@BOOK{ Book!D - 90205608,
AUTHOR = " Richard Hammack, Virginia Commonwealth University.",
TITLE = "Book of proof /",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Proof theory, Textbooks.,Proof theory.",
URL = "/book/90205608/Book-of-proof/"}