@BOOK{ Book!D - 104432889,
AUTHOR = "",
TITLE = "ISILC Proof Theory Symposion",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی اصفهان",
SUBJECT = "Proof theory -- Congresses►Schutte, K. -- (Kurt) -- Bibliography",
URL = "/book/104432889/ISILC-Proof-Theory-Symposion/"}