TY  - BOOK
A1  - Rosser, John Barkley
TI  - Logic for mathematicians
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72132844
UR  /book/72132844/Logic-for-mathematicians/
ER  -