TY - BOOK A1 - Wolfgang Rautenberg TI - A concise introduction to mathematical logic PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101392853 UR /book/101392853/A-concise-introduction-to-mathematical-logic/ ER -