TY - BOOK A1 - Paul C. Gilmore TI - Logicism renewed : logical foundations for mathematics and computer science PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101390844 UR /book/101390844/Logicism-renewed-logical-foundations-for-mathema/ ER -