Member of the special inter-departmental committee
Department of Mathematics, UoA
|Dichotomy theorems on the satisfiability of propositional formulas
|A mathematical approach to experimental conclusions concerning logical propositions
MSc theses supervised
- Teacher profile (for extra information about courses given).