@BOOK{ Book!D - 100975449,
AUTHOR = "/ J. Barkley Rosser",
TITLE = "Logic for mathematicians",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Logic, Symbolic and mathematical",
URL = "/book/100975449/Logic-for-mathematicians/"}