@BOOK{ Book!D - 90058499,
AUTHOR = " Sara Negri, Jan von Plato",
TITLE = "Proof analysis :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Proof theory",
URL = "/book/90058499/Proof-analysis/"}