@BOOK{ Book!D - 90212383,
AUTHOR = " Charles E. Roberts, Jr.",
TITLE = "Introduction to mathematical proofs :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.",
URL = "/book/90212383/Introduction-to-mathematical-proofs/"}