Lech T. Polkowski

• Logic : Reference Book for Computer Scientists
• Logics for Computer and Data Sciences, and Artificial Intelligence