@BOOK{ Book!D - 101495493,
AUTHOR = "/ R. E. Edwards",
TITLE = "A formal background to mathematics",
LIBRARY= "كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين",
SUBJECT = "Mathematics",
URL = "/book/101495493/A-formal-background-to-mathematics/"}