@BOOK{ Book!D - 77723587, AUTHOR = "Petr Hajek )ed.(", TITLE = "Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings", LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد", SUBJECT = "Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics", URL = "/book/77723587/Godel-96-logical-foundations-of-mathematics-com/"}