TY - BOOK A1 - J.P. Myers, Jr., M.J. O'Donnell, eds TI - Constructivity in computer science : Summer Symposium: San Antonio, TX, June 19-22, 1991: proceedings PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101373656 UR /book/101373656/Constructivity-in-computer-science-Summer-Sympos/ ER -