فقط یک ISBN را اسکن کنید تا بلافاصله به کتابخانه شما اضافه شود. هم اکنون در دسترس برای iOS و Android.
Erich Grädel
Krzysztof R. Apt
Jörg Flum
ما از کوکیها برای بهبود تجربه شما و تجزیه و تحلیل ترافیک سایت استفاده میکنیم. شما میتوانید انتخاب کنید کدام کوکیها را بپذیرید.
برای کارکرد وبسایت لازم است. نمیتوان غیرفعال کرد.
به ما کمک کنید تا درک کنیم بازدیدکنندگان چگونه با وبسایت ما تعامل دارند.
برای ارائه تبلیغات مرتبط و ردیابی کمپینها استفاده میشود.
![[(Computer Science Logic )] [Author: Erich Grädel] [Sep-2009]](https://images.bookpine.com/a08e5f50-decc-4da4-b0b1-651d47dcc6b1.jpg)
![[(Finite-model Theory and Its Applications )] [Author: Erich Grädel] [Jun-2007]](https://images.bookpine.com/5f549aaa-3451-4966-8695-194e28f9e2e6.jpg)