@BOOK{ Book!D - 72170110,
AUTHOR = "",
TITLE = "Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical",
URL = "/book/72170110/Cabal-Seminar-7981-proceedings-CaltechUCLA-Log/"}