@BOOK{ Book!D - 72161543,
AUTHOR = "Craig, William",
TITLE = "Logic in algebraic form; Three languages and theories",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، logic, Symbolic and mathematical,، Proof theory",
URL = "/book/72161543/Logic-in-algebraic-form-Three-languages-and-theor/"}