@BOOK{ Book!D - 93584761,
AUTHOR = "/ Sara Negri, Jan von Plato",
TITLE = "Proof analysis",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "Proof theory",
URL = "/book/93584761/Proof-analysis/"}