@BOOK{ Book!D - 72159149,
AUTHOR = "Andrews, P. B. )Peter Bruce(",
TITLE = "An introduction to mathematical logic and type theory: to truth through proof",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Logic, Symbolic and mathematical,، Type theory",
URL = "/book/72159149/An-introduction-to-mathematical-logic-and-type-the/"}