автор: Gernot Salzer поддержка1 Электронные книги Gernot Salzer Ricardo Caferra & Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics … PDF английский DRM €57.96 0 0 касса 0,00 × × × Изменить язык пользователя × арабскийНемецкийанглийскийиспанскийФранцузскийхиндииндонезийскийитальянскиймалайскийнидерландский языкпольскийпортугальскийрумынскийрусскийшведскийтайскийтурецкийукраинецвьетнамскийкитайский языкInternational Modal ×