@BOOK{ Book!D - 100981148,
AUTHOR = "/ J.P. Myers, Jr., M.J. O'Donnell, eds",
TITLE = "Constructivity in computer science ",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Computer science -- Mathematics -- Congresses",
URL = "/book/100981148/Constructivity-in-computer-science/"}