@BOOK{ Book!D - 72153460,
AUTHOR = "",
TITLE = "Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics",
URL = "/book/72153460/Godel96-logical-foundations-of-mathematics-comp/"}