@BOOK{ Book!D - 72143047,
AUTHOR = "",
TITLE = "Studies in constructive mathematics and mathematical logic",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Logic, Symbolic and mathematical",
URL = "/book/72143047/Studies-in-constructive-mathematics-and-mathematic/"}