TY  - BOOK
A1  - / J. Barkley Rosser
TI  - Logic for mathematicians
PB  - کتابخانه دانشگاه امام صادق علیه السلام
SN  - 105147715
UR  /book/105147715/Logic-for-mathematicians/
ER  -