TY  - BOOK
A1  - Church, Alonzo
TI  - Introduction to mathematical logic
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72121214
UR  /book/72121214/Introduction-to-mathematical-logic/
ER  -