TY  - BOOK
A1  - edited by G. H. Muller, A. Oberschelp, K. Potthoff
TI  - ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
PB  - کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان
SN  - 95025684
UR  /book/95025684/ISILC-Logic-Conference-proceedings-of-the-Intern/
ER  -