Author: Gernot Salzer Support1 Ebooks by Gernot Salzer Ricardo Caferra & Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics … PDF English DRM €57.96 0 0 Checkout 0,00 × × × Change user language × ArabicGermanEnglishSpanishFrenchHindiIndonesianItalianMalayDutchPolishPortugueseRomanianRussianSwedishThaiTurkishUkrainianVietnameseChineseInternational Modal ×