@BOOK{ Book!D - 101373656,
AUTHOR = "J.P. Myers, Jr., M.J. O'Donnell, eds",
TITLE = "Constructivity in computer science : Summer Symposium: San Antonio, TX, June 19-22, 1991: proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer science -- Mathematics",
URL = "/book/101373656/Constructivity-in-computer-science-Summer-Sympos/"}