1. Mathematical logic for computer science
المؤلف: Lu, Chung-wan
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
L8
1989

